Bob is round. Dave is furry. Fiona is big. Harry is cold. Green, big things are round. Furry, cold things are big. Young things are round. If Fiona is smart and Fiona is green then Fiona is round. If something is big then it is smart. If something is furry then it is cold.
Harry is round.
@0: Bob is round.[(triple1)] Dave is furry.[(triple2)] Fiona is big.[(triple3)] Harry is cold.[(triple4)] @1: Dave is cold.[(((triple2) -> rule6))] Fiona is smart.[(((triple3) -> rule5))] @2: Dave is big.[(((triple2 ((triple2) -> rule6)) -> rule2))] @3: Dave is smart.[(((((triple2 ((triple2) -> rule6)) -> rule2)) -> rule5))]