Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. If something is green then it is white. All green, young things are nice.
Gary is not blue.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is nice.[(triple3 OR ((triple2 triple7) -> rule2))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is white.[(triple6 OR ((triple2) -> rule1))] Gary is young.[(triple7)]