Bob is quiet. Bob is white. Charlie is big. Charlie is red. Erin is big. Erin is round. Erin is white. Harry is big. Harry is nice. Harry is quiet. If Erin is big then Erin is white. If something is big then it is blue. If Harry is big then Harry is red. If something is big and blue then it is white. All big, red things are nice. If something is red and blue then it is nice.
Harry is nice.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Charlie is big.[(triple3)] Charlie is red.[(triple4)] Erin is big.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule4))] Harry is big.[(triple8)] Harry is nice.[(triple9 OR ((triple8 ((triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule3) ((triple8) -> rule2)) -> rule6))] Harry is quiet.[(triple10)] @1: Charlie is blue.[(((triple3) -> rule2))] Charlie is nice.[(((triple3 triple4) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule6))] Erin is blue.[(((triple5) -> rule2))] Harry is blue.[(((triple8) -> rule2))] Harry is red.[(((triple8) -> rule3))] @2: Charlie is white.[(((triple3 ((triple3) -> rule2)) -> rule4))] Harry is white.[(((triple8 ((triple8) -> rule2)) -> rule4))]