Dave is blue. Dave is green. Dave is white. Dave is young. Gary is green. Gary is red. Gary is young. If something is quiet and young then it is not rough. Green, white things are not rough. If something is quiet and not white then it is young. All quiet things are young. All young things are not quiet. If something is rough and green then it is not quiet. If something is rough and not green then it is red. If Gary is rough then Gary is not blue.
Dave is not rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)] @1: Dave is not quiet.[(((triple4) -> rule5))] Dave is not rough.[(((triple2 triple3) -> rule2))] Gary is not quiet.[(((triple7) -> rule5))]