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