Anne is smart. Dave is cold. Erin is furry. Fiona is big. If Erin is furry and Erin is green then Erin is rough. If something is furry then it is green. If something is smart and rough then it is cold. Big, cold things are smart. Rough things are big. If Erin is big then Erin is cold.
Dave is green.
@0: Anne is smart.[(triple1)] Dave is cold.[(triple2)] Erin is furry.[(triple3)] Fiona is big.[(triple4)] @1: Erin is green.[(((triple3) -> rule2))] @2: Erin is rough.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Erin is big.[(((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule5))] @4: Erin is cold.[(((((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6))] @5: Erin is smart.[(((((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule5) ((((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6)) -> rule4))]