Anne is furry. Charlie is furry. Charlie is red. Charlie is rough. Dave is furry. Dave is young. Fiona is blue. All smart people are red. All blue, rough people are smart. Young people are nice. All nice people are rough. If someone is rough and young then they are blue. All furry, smart people are nice.
Dave is rough.