Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is round. Dave is rough. Erin is green. Erin is round. Harry is not green. Harry is white. If someone is not white then they are furry. If someone is quiet then they are smart. If someone is not green then they are rough. Smart people are quiet. If someone is not green then they are smart. If Erin is rough then Erin is furry. All green, round people are smart. If someone is not smart then they are round.
Dave is not round.