Dave is big. Dave is blue. Dave is green. Dave is red. Dave is round. Dave is smart. Fiona is green. Fiona is round. Harry is green. Harry is kind. Harry is round. Harry is smart. Green things are red. All blue things are kind. Green things are round. If something is blue then it is green. All kind things are green. If something is smart and big then it is green.
Fiona is not red.