Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is nice. Gary is round. Gary is young. If Gary is green then Gary is young. If Gary is furry and Gary is blue then Gary is young.
Gary is green.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is not furry.[(triple3)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple4) -> rule1))]