Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is young. Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is quiet. Erin is smart. If something is rough and red then it is young. Big, smart things are rough. Rough, young things are red. If Anne is red then Anne is rough. If something is rough and quiet then it is red. If Dave is red and Dave is smart then Dave is big.
Dave is not big.