Anne is cold. Anne is young. Charlie is young. Gary is big. Gary is cold. Gary is nice. Harry is big. Harry is cold. Harry is kind. Harry is white. Young things are big. If Harry is nice and Harry is kind then Harry is big. All big things are kind. If something is nice and kind then it is cold. If something is white then it is not rough. If something is cold and young then it is white. If something is big then it is nice. If something is not white then it is kind. If something is not cold then it is rough.
Gary is not big.