Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is not rough. Gary is young. Harry is young. All rough people are nice. If someone is young and not nice then they are blue. If Gary is cold and Gary is blue then Gary is green.
Gary is not blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Gary is not rough.[(triple5)] Gary is young.[(triple6)] Harry is young.[(triple7)] @1: Gary is green.[(((triple3 triple2) -> rule3))]