Harry is big. Harry is blue. Harry is not cold. Harry is green. Harry is nice. Harry is red. Harry is smart. Big people are nice. If someone is cold and not blue then they are big.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is green.[(triple4)] Harry is nice.[(triple5 OR ((triple1) -> rule1))] Harry is not cold.[(triple3)] Harry is red.[(triple6)] Harry is smart.[(triple7)]