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