Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Gary is quiet and Gary is white then Gary is blue.
Gary is blue.
@0: Gary is blue.[(triple1 OR ((triple3 triple7) -> rule1))] Gary is green.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)]