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