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