Bob is rough. Charlie is round. Dave is blue. Dave is cold. Dave is nice. Dave is rough. Fiona is cold. All blue people are rough. If someone is rough then they are big. Cold, rough people are blue. Blue people are nice. All smart people are big. All smart people are cold. All big people are smart.
Bob is not blue.