Gary is big. Gary is not cold. Gary is not furry. Gary is green. Gary is kind. Gary is white. Gary is young. If someone is green and big then they are white. If Gary is not big then Gary is green. If someone is white and not big then they are cold.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is green.[(triple4)] Gary is kind.[(triple5)] Gary is not cold.[(triple2)] Gary is not furry.[(triple3)] Gary is white.[(triple6 OR ((triple4 triple1) -> rule1))] Gary is young.[(triple7)]