Anne is furry. Anne is red. Anne is rough. Anne is smart. Anne is white. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Dave is furry. Dave is red. Dave is rough. Harry is rough. Harry is smart. If something is quiet then it is rough. All round things are red. All red things are round. If something is quiet and furry then it is white. If something is round and red then it is quiet. Smart, white things are round. All quiet, round things are smart. Furry things are quiet. Rough things are furry.
Dave is not white.