Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Dave is cold. Dave is kind. Dave is red. Dave is rough. Dave is round. Fiona is nice. Fiona is red. Harry is blue. Harry is cold. Harry is nice. Harry is round. If something is rough and round then it is red. All red things are round. If something is blue then it is rough. If Dave is rough and Dave is nice then Dave is red. If Harry is round then Harry is rough. If something is rough and blue then it is cold. Round, rough things are kind. Blue things are kind.
Harry is not red.