Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is white. Gary is young. If something is white and young then it is rough. If something is white then it is young.
Gary is not rough.
@0: Gary is blue.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5 OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule2))]