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