Bob is white. Gary is big. Harry is rough. Cold, big things are white. If something is big and red then it is kind. If Gary is red then Gary is blue. If something is rough then it is kind. Big, cold things are white. If something is blue then it is big. Cold things are blue. If something is red and white then it is kind.
Bob is not kind.
@0: Bob is white.[(triple1)] Gary is big.[(triple2)] Harry is rough.[(triple3)] @1: Harry is kind.[(((triple3) -> rule4))]