Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is red. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is not nice. Dave is not red. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Red things are not nice. If something is nice and not blue then it is red. Nice things are red.
Anne is not nice.