Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Charlie is kind. Charlie is quiet. Charlie is round. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Harry is big. Harry is kind. Harry is red. All smart, red things are quiet. Quiet things are red. Red things are kind. If Charlie is red then Charlie is quiet. If Fiona is round and Fiona is kind then Fiona is red. If something is big and red then it is green. If something is smart and quiet then it is kind. If something is round then it is red.
Harry is not green.