Bob is big. Bob is cold. Bob is not kind. Bob is red. Bob is round. Bob is smart. Bob is young. Harry is not big. Harry is cold. Harry is not kind. Harry is red. Harry is round. Harry is smart. Harry is young. If something is red then it is smart. If something is not kind then it is cold. If something is big and smart then it is cold. Red things are young. All red things are smart. If something is red and not cold then it is not young. If something is not young then it is smart. If Harry is kind and Harry is not smart then Harry is round.
Harry is smart.