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