Anne is big. Anne is rough. Dave is furry. Dave is kind. Dave is red. Dave is rough. Fiona is kind. Fiona is red. Gary is furry. Gary is red. If Dave is big then Dave is smart. Big, rough people are white. If Fiona is big and Fiona is furry then Fiona is rough. All rough, smart people are furry. All white people are red. If someone is smart then they are furry. Red, kind people are smart. All red people are kind. If Fiona is white then Fiona is big.
Dave is not big.