Gary is blue. Gary is quiet. Gary is round. Gary is smart. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is round. Harry is smart. If someone is round and cold then they are smart.
Harry is not blue.
@0: Gary is blue.[(triple1)] Gary is quiet.[(triple2)] Gary is round.[(triple3)] Gary is smart.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple9 triple7) -> rule1))]