Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Erin is kind. Erin is rough. Erin is round. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Harry is kind. Harry is nice. Harry is smart. If something is round then it is red. If something is rough and nice then it is green. All red things are round. If Charlie is red then Charlie is round. All round things are green. All round things are green. If Harry is red and Harry is green then Harry is nice. All kind things are red.
Fiona is not smart.