Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is white. If someone is nice and green then they are white. All smart people are kind. If Erin is big and Erin is kind then Erin is green.
Erin is not nice.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple6) -> rule2)) -> rule3))] Erin is kind.[(triple3 OR ((triple6) -> rule2))] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple1 triple3) -> rule3)) -> rule1) OR ((triple4 ((triple1 ((triple6) -> rule2)) -> rule3)) -> rule1))]