Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Erin is furry. Erin is kind. Erin is not nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. If someone is kind and not furry then they are quiet. If someone is smart and nice then they are quiet. If someone is kind and not smart then they are nice.
Dave is not kind.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple7 triple3) -> rule2))] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is not nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is smart.[(triple14)]