Dave is not big. Dave is not furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is not young. Erin is big. Erin is furry. Erin is kind. Erin is not nice. Erin is quiet. Erin is rough. Erin is young. If something is furry and not nice then it is big. If something is young and kind then it is rough.
Erin is not big.
@0: Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Dave is not furry.[(triple2)] Dave is not young.[(triple7)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Erin is big.[(triple8 OR ((triple9 triple11) -> rule1))] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is not nice.[(triple11)] Erin is quiet.[(triple12)] Erin is rough.[(triple13 OR ((triple14 triple10) -> rule2))] Erin is young.[(triple14)]