Dave is blue. Fiona is smart. Gary is nice. If Fiona is nice and Fiona is quiet then Fiona is rough. If something is blue and quiet then it is smart. If Fiona is cold and Fiona is quiet then Fiona is smart. Smart, rough things are cold. Smart things are cold. Blue things are quiet.
Gary is smart.
@0: Dave is blue.[(triple1)] Fiona is smart.[(triple2)] Gary is nice.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule6))] Fiona is cold.[(((triple2) -> rule5))] @2: Dave is smart.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Dave is cold.[(((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule5))]