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