Harry is big. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. If something is smart then it is round. All big things are smart. If Harry is rough and Harry is not big then Harry is young.
Harry is not red.