Bob is big. Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is smart. Bob is young. Dave is big. Dave is green. Dave is not kind. Erin is big. Erin is furry. Erin is not green. Erin is kind. Erin is nice. Erin is not smart. If Dave is nice and Dave is not big then Dave is young. If someone is smart and not young then they are furry. If Bob is furry and Bob is kind then Bob is nice.
Dave is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple2 triple4) -> rule3))] Bob is not green.[(triple3)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is not kind.[(triple10)] Erin is big.[(triple11)] Erin is furry.[(triple12)] Erin is kind.[(triple14)] Erin is nice.[(triple15)] Erin is not green.[(triple13)] Erin is not smart.[(triple16)]