Anne is nice. Dave is big. Dave is furry. Dave is quiet. Dave is red. Fiona is nice. Fiona is red. Harry is big. Harry is furry. Harry is red. All quiet people are furry. If Dave is blue then Dave is quiet. Smart people are red. Blue, quiet people are big. All big, nice people are smart. If someone is nice then they are red. All furry, red people are quiet. If someone is blue then they are nice.
Dave is quiet.