Anne is big. Anne is round. Dave is kind. Dave is not round. Erin is cold. Erin is furry. Gary is round. If something is not cold then it is kind. If something is furry then it is blue. If Erin is not round then Erin is furry.
Anne is not blue.