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