Bob is big. Bob is cold. Bob is quiet. Bob is red. Harry is big. Harry is nice. Harry is rough. If Harry is nice then Harry is cold. If Bob is cold then Bob is nice. Cold people are big. If someone is big and furry then they are red. Rough, big people are furry. If someone is rough and cold then they are nice.
Harry is quiet.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3))] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Harry is big.[(triple5 OR ((((triple6) -> rule1)) -> rule3))] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Bob is nice.[(((triple2) -> rule2))] Harry is cold.[(((triple6) -> rule1))] Harry is furry.[(((triple7 triple5) -> rule5) OR ((triple7 ((((triple6) -> rule1)) -> rule3)) -> rule5))] @2: Harry is red.[(((triple5 ((triple7 triple5) -> rule5)) -> rule4) OR ((((((triple6) -> rule1)) -> rule3) ((triple7 triple5) -> rule5)) -> rule4) OR ((triple5 ((triple7 ((((triple6) -> rule1)) -> rule3)) -> rule5)) -> rule4) OR ((((((triple6) -> rule1)) -> rule3) ((triple7 ((((triple6) -> rule1)) -> rule3)) -> rule5)) -> rule4))]