Gary is kind. Harry is green. Harry is white. Blue, big things are kind. All big, white things are not kind. If Harry is blue and Harry is kind then Harry is white. If Harry is rough then Harry is white. All big, white things are green. If something is kind then it is not red. If something is blue then it is rough. Rough, kind things are big.
Gary is white.
@0: Gary is kind.[(triple1)] Harry is green.[(triple2)] Harry is white.[(triple3)] @1: Gary is not red.[(((triple1) -> rule6))]