Bob is cold. Bob is furry. Bob is nice. Bob is red. Dave is big. Dave is not cold. Dave is furry. Dave is green. Dave is nice. Dave is white. If someone is nice and not cold then they are red. If someone is green then they are big. If Bob is red then Bob is big. If someone is green and not nice then they are big. All cold people are white. If someone is big and not white then they are red.
Bob is not nice.