Anne is not blue. Anne is nice. Anne is white. Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is smart. Dave is big. Dave is nice. Dave is red. If Bob is not big then Bob is not blue.
Bob is big.