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