Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Erin is nice. Erin is smart. Erin is white. If Erin is rough and Erin is young then Erin is furry. Young things are furry. Furry things are green. If something is smart then it is nice. If something is young then it is smart. If something is nice and green then it is young. If Erin is furry and Erin is smart then Erin is young. Smart things are green.
Erin is not white.
@0: Charlie is furry.[(triple1 OR ((triple7) -> rule2) OR ((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple3 ((triple5) -> rule8)) -> rule6)) -> rule2) OR ((((((triple5) -> rule4) triple2) -> rule6)) -> rule2) OR ((((((triple5) -> rule4) ((triple5) -> rule8)) -> rule6)) -> rule2))] Charlie is green.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule8) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule5)) -> rule8))] Charlie is nice.[(triple3 OR ((triple5) -> rule4) OR ((((triple7) -> rule5)) -> rule4))] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple7) -> rule5) OR ((((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 ((triple1) -> rule3)) -> rule6)) -> rule5))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple1) -> rule3)) -> rule6) OR ((triple3 ((triple5) -> rule8)) -> rule6) OR ((((triple5) -> rule4) triple2) -> rule6) OR ((((triple5) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple5) -> rule4) ((triple5) -> rule8)) -> rule6))] Erin is nice.[(triple8 OR ((triple9) -> rule4))] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Erin is green.[(((triple9) -> rule8))] @2: Erin is young.[(((triple8 ((triple9) -> rule8)) -> rule6) OR ((((triple9) -> rule4) ((triple9) -> rule8)) -> rule6))] @3: Erin is furry.[(((((triple8 ((triple9) -> rule8)) -> rule6)) -> rule2) OR ((((((triple9) -> rule4) ((triple9) -> rule8)) -> rule6)) -> rule2))]