The dog is blue. The dog is green. The dog is kind. The dog is red. The dog is round. All green things are kind. If the dog is round then the dog is red. If the dog is red and the dog is green then the dog is blue. Round things are red. Round things are red. All round things are kind. All round things are red. If the dog is kind and the dog is round then the dog is red.
The dog is not round.