Erin is quiet. Gary is smart. Harry is white. If something is smart then it is cold. Nice, cold things are smart. Smart, kind things are nice. Smart things are quiet. Smart, quiet things are white. If something is quiet then it is white.
Gary is cold.
@0: Erin is quiet.[(triple1)] Gary is smart.[(triple2)] Harry is white.[(triple3)] @1: Erin is white.[(((triple1) -> rule6))] Gary is cold.[(((triple2) -> rule1))] Gary is quiet.[(((triple2) -> rule4))] @2: Gary is white.[(((((triple2) -> rule4)) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule5))]