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