Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is round. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is red. Dave is smart. Erin is blue. Erin is green. Erin is red. Erin is round. All big, green things are red. All round things are blue. All kind, red things are big. If Erin is green then Erin is kind. All smart, blue things are kind. Big things are smart.
Dave is not kind.