Anne is young. Bob is cold. Dave is cold. Harry is cold. All young things are rough. All big, green things are nice. Big, rough things are green. If something is young then it is big. If something is not nice then it is cold. If Bob is green and Bob is not rough then Bob is not big.
Anne is not nice.