Bob is blue. Bob is green. Dave is rough. If Dave is rough and Dave is furry then Dave is white. Green things are big. If something is white and furry then it is cold. If something is not green then it is furry. If something is big and rough then it is cold. If something is not green and not big then it is furry.
Dave is not cold.