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 blue.
@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)]