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