Charlie is quiet. Gary is rough. Gary is round. Gary is smart. Harry is cold. Harry is round. Harry is smart. Cold people are quiet. If Gary is rough then Gary is cold.
Charlie is not rough.
@0: Charlie is quiet.[(triple1)] Gary is rough.[(triple2)] Gary is round.[(triple3)] Gary is smart.[(triple4)] Harry is cold.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Gary is cold.[(((triple2) -> rule2))] Harry is quiet.[(((triple5) -> rule1))] @2: Gary is quiet.[(((((triple2) -> rule2)) -> rule1))]