Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is smart. All red, rough things are round. All rough things are smart. If something is rough and green then it is furry.
Gary is not red.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple5 triple3) -> rule3))] Gary is green.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple4 triple5) -> rule1))] Gary is smart.[(triple7 OR ((triple5) -> rule2))]