Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is rough. Bob is young. Charlie is big. Charlie is young. Gary is big. Gary is green. Gary is young. Harry is green. If Harry is cold then Harry is nice. Cold, nice things are rough. All green, big things are rough. Cold, young things are green. Green things are young. Young things are cold. All cold, rough things are big. If something is not cold then it is green.
Charlie is not big.