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