Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is young. Dave is not furry. Dave is nice. Dave is red. Dave is young. Harry is red. If someone is smart then they are round. If someone is round then they are nice. If someone is nice and not red then they are furry. Nice people are round. Young, red people are smart. All blue, red people are smart. If Anne is nice and Anne is round then Anne is blue. If Dave is blue and Dave is not nice then Dave is round.
Harry is nice.