Erin is big. Erin is blue. Erin is green. Erin is not nice. Erin is red. Erin is smart. Erin is white. Big, blue people are red. Blue people are red. If Erin is big and Erin is not blue then Erin is nice. If someone is big then they are green. Nice people are big. If someone is red and not green then they are not white. If someone is white and not big then they are not smart. All big people are smart.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple1) -> rule4))] Erin is not nice.[(triple4)] Erin is red.[(triple5 OR ((triple2) -> rule2) OR ((triple1 triple2) -> rule1))] Erin is smart.[(triple6 OR ((triple1) -> rule8))] Erin is white.[(triple7)]