Dave is nice. Harry is red. Smart, cold things are green. If something is nice and red then it is cold. All smart things are blue. Red, green things are blue. If something is cold then it is smart. If something is red then it is green.
Dave is nice.
@0: Dave is nice.[(triple1)] Harry is red.[(triple2)] @1: Harry is green.[(((triple2) -> rule6))] @2: Harry is blue.[(((triple2 ((triple2) -> rule6)) -> rule4))]