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