Bob is big. Bob is quiet. Bob is red. Bob is young. Dave is red. Dave is rough. Dave is round. If Dave is red and Dave is big then Dave is quiet. All quiet, young people are smart. All round, rough people are red. Rough people are smart. All red people are quiet. All big, young people are round.
Bob is not round.