Charlie is furry. Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Dave is furry. Dave is not kind. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Dave is young. If someone is young and not quiet then they are not furry. If someone is kind then they are not furry. All white people are not kind. Furry, young people are nice. Young people are nice. All young people are smart. If Charlie is kind then Charlie is not smart. If Charlie is not smart then Charlie is nice.
Dave is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple3 OR ((triple7) -> rule5) OR ((triple1 triple7) -> rule4))] Charlie is not kind.[(triple2 OR ((triple6) -> rule3))] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple7) -> rule6))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple10 OR ((triple14) -> rule5) OR ((triple8 triple14) -> rule4))] Dave is not kind.[(triple9 OR ((triple13) -> rule3))] Dave is quiet.[(triple11)] Dave is smart.[(triple12 OR ((triple14) -> rule6))] Dave is white.[(triple13)] Dave is young.[(triple14)]