Anne is kind. Anne is red. Anne is not rough. Dave is big. Dave is kind. Dave is not rough. Erin is furry. Gary is big. Gary is furry. Gary is rough. If Erin is red then Erin is blue. Big people are blue. Kind, blue people are furry.
Dave is not kind.