Charlie is furry. Charlie is not young. Dave is furry. Dave is nice. Dave is quiet. Dave is smart. Dave is not white. Dave is young. Gary is nice. Gary is young. White, nice people are furry. All nice people are furry. All furry people are quiet. If Charlie is furry and Charlie is young then Charlie is smart. If Dave is red and Dave is smart then Dave is quiet. If Charlie is nice and Charlie is not white then Charlie is not red. Furry, young people are nice. All white, red people are not young.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is not young.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule2))] Dave is nice.[(triple4 OR ((triple3 triple8) -> rule7))] Dave is not white.[(triple7)] Dave is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] Dave is smart.[(triple6)] Dave is young.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10)] @1: Charlie is quiet.[(((triple1) -> rule3))] Gary is furry.[(((triple9) -> rule2))] @2: Gary is quiet.[(((((triple9) -> rule2)) -> rule3))]