Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is not white. If Harry is furry then Harry is not white. Furry things are green. If something is white then it is not green. If Harry is nice and Harry is not big then Harry is green. Cold, big things are nice. All kind, big things are nice. If Harry is furry then Harry is cold. All green things are not white.
Harry is not nice.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2 OR ((triple3) -> rule7))] Harry is furry.[(triple3)] Harry is green.[(triple4 OR ((triple3) -> rule2))] Harry is kind.[(triple5)] Harry is nice.[(triple6 OR ((triple2 triple1) -> rule5) OR ((triple5 triple1) -> rule6) OR ((((triple3) -> rule7) triple1) -> rule5))] Harry is not white.[(triple7 OR ((triple3) -> rule1) OR ((triple4) -> rule8) OR ((((triple3) -> rule2)) -> rule8))]