Anne is nice. Bob is cold. Bob is white. Dave is not big. Dave is blue. Harry is blue. Harry is nice. Blue, big things are cold. If Bob is not blue then Bob is big. All white things are red. If something is big and red then it is cold. If Anne is big and Anne is blue then Anne is white. If Anne is green and Anne is cold then Anne is white. If Anne is nice then Anne is cold. If something is not cold then it is not green.
Dave is big.