Harry is big. Harry is green. Harry is not kind. Harry is red. Harry is rough. Harry is smart. Harry is white. If Harry is kind then Harry is green. If Harry is smart and Harry is not white then Harry is not green. If Harry is rough and Harry is white then Harry is big. Kind, red things are green. Kind things are green. If something is green then it is red.
Harry is white.
@0: Harry is big.[(triple1 OR ((triple5 triple7) -> rule3))] Harry is green.[(triple2)] Harry is not kind.[(triple3)] Harry is red.[(triple4 OR ((triple2) -> rule6))] Harry is rough.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]