Anne is green. Anne is kind. Anne is nice. Bob is blue. Bob is furry. Bob is not green. Dave is big. Dave is cold. Dave is green. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. If something is not cold then it is blue.
Dave is not green.