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