Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is smart. All blue, red things are big.
Harry is not cold.
@0: Harry is big.[(triple1 OR ((triple2 triple6) -> rule1))] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)]