Anne is cold. Anne is round. Gary is big. Gary is cold. Gary is quiet. Harry is quiet. Harry is round. All red things are big. All round, quiet things are cold.
Harry is red.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4)] Gary is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is cold.[(((triple7 triple6) -> rule2))]