Erin is big. Erin is not furry. Erin is green. Erin is quiet. Erin is not rough. Erin is white. Erin is young. Young, rough people are furry. Rough people are furry. If someone is furry and not green then they are not quiet. If someone is rough then they are not quiet. Furry, white people are young. All big people are white. If Erin is green then Erin is young. All rough, green people are big.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is green.[(triple3)] Erin is not furry.[(triple2)] Erin is not rough.[(triple5)] Erin is quiet.[(triple4)] Erin is white.[(triple6 OR ((triple1) -> rule6))] Erin is young.[(triple7 OR ((triple3) -> rule7))]