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