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