Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is not rough. Gary is smart. Gary is young. If something is kind and not green then it is blue. If something is young then it is smart. If something is cold and not green then it is not smart. If something is blue then it is kind. If something is cold and not blue then it is rough. If something is smart and not kind then it is rough.
Gary is green.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4 OR ((triple1) -> rule4))] Gary is not rough.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule2))] Gary is young.[(triple7)]