Bob is quiet. Erin is cold. Harry is red. If someone is cold then they are round. If someone is red then they are blue. If someone is red then they are cold. If Harry is big and Harry is quiet then Harry is white. All big people are blue. Red, cold people are big. If someone is round then they are blue. White people are big.
Bob is quiet.
@0: Bob is quiet.[(triple1)] Erin is cold.[(triple2)] Harry is red.[(triple3)] @1: Erin is round.[(((triple2) -> rule1))] Harry is blue.[(((triple3) -> rule2) OR ((((((triple3) -> rule3)) -> rule1)) -> rule7) OR ((((triple3 ((triple3) -> rule3)) -> rule6)) -> rule5))] Harry is cold.[(((triple3) -> rule3))] @2: Erin is blue.[(((((triple2) -> rule1)) -> rule7))] Harry is big.[(((triple3 ((triple3) -> rule3)) -> rule6))] Harry is round.[(((((triple3) -> rule3)) -> rule1))]