Anne is not cold. Anne is nice. Dave is cold. Dave is nice. Gary is blue. Harry is blue. Harry is green. All quiet people are nice. Cold people are blue. All big people are rough. Blue people are not big. If Harry is cold then Harry is not blue. If Anne is blue then Anne is green. If Harry is big then Harry is cold. If someone is rough and nice then they are big.
Dave is not big.