Anne is not big. Anne is round. Dave is big. Dave is blue. Dave is green. Erin is blue. Erin is green. Erin is not red. Erin is rough. Fiona is green. Fiona is red. Fiona is rough. If someone is big and not blue then they are not red.
Dave is not green.