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