Anne is round. Anne is young. Bob is big. Bob is red. Bob is round. Bob is young. Gary is big. Gary is kind. Gary is not round. Gary is not young. Harry is cold. Harry is kind. If Harry is round and Harry is not young then Harry is big. If something is cold then it is rough. All red, kind things are not cold. If something is round then it is not rough. If Bob is red then Bob is big. All rough things are cold. Cold things are not red. All kind things are rough.
Harry is not big.