Dave is quiet. Gary is white. All red, cold things are white. If something is red then it is white. If something is quiet then it is kind. If Dave is red and Dave is white then Dave is cold. If Dave is smart and Dave is rough then Dave is red. Smart things are rough.
Gary is not white.
@0: Dave is quiet.[(triple1)] Gary is white.[(triple2)] @1: Dave is kind.[(((triple1) -> rule3))]