Anne is green. Anne is red. Anne is smart. Dave is big. Dave is smart. Erin is not furry. Harry is green. If someone is green then they are round. If Dave is round and Dave is smart then Dave is kind. If someone is red then they are green. Furry people are smart. If someone is kind and furry then they are round. If Anne is furry then Anne is not big. All furry people are red. If someone is big then they are furry. If Dave is not kind and Dave is not smart then Dave is round.
Dave is red.