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