Anne is big. Erin is furry. Gary is green. Harry is blue. If something is furry then it is quiet. If Erin is quiet then Erin is green. If something is big then it is green. Furry, blue things are big. All big things are blue. Blue things are nice.
Harry is furry.
@0: Anne is big.[(triple1)] Erin is furry.[(triple2)] Gary is green.[(triple3)] Harry is blue.[(triple4)] @1: Anne is blue.[(((triple1) -> rule5))] Anne is green.[(((triple1) -> rule3))] Erin is quiet.[(((triple2) -> rule1))] Harry is nice.[(((triple4) -> rule6))] @2: Anne is nice.[(((((triple1) -> rule5)) -> rule6))] Erin is green.[(((((triple2) -> rule1)) -> rule2))]