Dave is white. Gary is blue. Harry is rough. Quiet people are blue. If Harry is young and Harry is blue then Harry is white. If someone is white then they are young. Blue, green people are rough. If someone is nice then they are blue. White, quiet people are rough.
Gary is not young.
@0: Dave is white.[(triple1)] Gary is blue.[(triple2)] Harry is rough.[(triple3)] @1: Dave is young.[(((triple1) -> rule3))]