Bob is not blue. Bob is round. Bob is smart. Bob is white. Dave is blue. Dave is not cold. Dave is green. Dave is not rough. Dave is round. Dave is smart. Dave is white. Fiona is rough. Gary is blue. Gary is not cold. Gary is rough. Gary is round. If something is rough and round then it is not green.
Dave is not smart.