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