Anne is furry. Anne is green. Anne is nice. Anne is smart. Gary is cold. Gary is furry. Gary is nice. Gary is smart. Gary is white. Gary is young. All smart, white people are green. If Gary is young then Gary is cold. If someone is white and furry then they are cold. If someone is smart and green then they are white. If Gary is furry then Gary is smart. All young people are nice. White people are smart. If Gary is nice and Gary is cold then Gary is furry.
Gary is not green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Gary is cold.[(triple5 OR ((triple10) -> rule2) OR ((triple9 triple6) -> rule3))] Gary is furry.[(triple6 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple10) -> rule2)) -> rule8) OR ((((triple10) -> rule6) triple5) -> rule8) OR ((((triple10) -> rule6) ((triple10) -> rule2)) -> rule8))] Gary is nice.[(triple7 OR ((triple10) -> rule6))] Gary is smart.[(triple8 OR ((triple6) -> rule5) OR ((triple9) -> rule7) OR ((((triple7 triple5) -> rule8)) -> rule5) OR ((((triple7 ((triple10) -> rule2)) -> rule8)) -> rule5) OR ((((((triple10) -> rule6) triple5) -> rule8)) -> rule5) OR ((((((triple10) -> rule6) ((triple10) -> rule2)) -> rule8)) -> rule5))] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Anne is white.[(((triple4 triple2) -> rule4))] Gary is green.[(((triple8 triple9) -> rule1) OR ((((triple6) -> rule5) triple9) -> rule1) OR ((((triple9) -> rule7) triple9) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule5) triple9) -> rule1) OR ((((((triple7 ((triple10) -> rule2)) -> rule8)) -> rule5) triple9) -> rule1) OR ((((((((triple10) -> rule6) triple5) -> rule8)) -> rule5) triple9) -> rule1) OR ((((((((triple10) -> rule6) ((triple10) -> rule2)) -> rule8)) -> rule5) triple9) -> rule1))] @2: Anne is cold.[(((((triple4 triple2) -> rule4) triple1) -> rule3))]