Erin is big. Erin is not furry. Erin is not green. Erin is red. Erin is not rough. Erin is smart. Erin is young. If someone is rough then they are green. If Erin is smart and Erin is young then Erin is not rough. If Erin is green then Erin is smart. Rough people are furry. All young people are red. All furry, green people are smart. If Erin is rough and Erin is smart then Erin is green. If someone is smart then they are big.
Erin is not big.
@0: Erin is big.[(triple1 OR ((triple6) -> rule8))] Erin is not furry.[(triple2)] Erin is not green.[(triple3)] Erin is not rough.[(triple5 OR ((triple6 triple7) -> rule2))] Erin is red.[(triple4 OR ((triple7) -> rule5))] Erin is smart.[(triple6)] Erin is young.[(triple7)]