Bob is smart. Charlie is red. Gary is red. Harry is big. All nice things are red. If Harry is red and Harry is young then Harry is kind. Smart things are big. Nice things are round. If something is red then it is big. All big, red things are smart. All smart, nice things are young. If something is young then it is smart.
Harry is not red.