Dave is cold. Gary is round. Harry is round. Rough, cold things are blue. All blue things are green. Big, blue things are green. Rough, green things are cold. If Harry is round then Harry is rough. All green, rough things are big. If something is cold and round then it is furry. If something is furry then it is cold.
Dave is round.
@0: Dave is cold.[(triple1)] Gary is round.[(triple2)] Harry is round.[(triple3)] @1: Harry is rough.[(((triple3) -> rule5))]