Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is smart. Bob is white. Bob is young. If something is white then it is quiet. White, cold things are quiet. Blue, cold things are white.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4 OR ((triple6) -> rule1) OR ((triple6 triple2) -> rule2) OR ((((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1 triple2) -> rule3) triple2) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple1 triple2) -> rule3))] Bob is young.[(triple7)]