Dave is big. Dave is blue. Dave is not cold. Dave is green. Dave is kind. Dave is red. Dave is not smart. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is smart. If something is smart and not green then it is kind. If Erin is not smart then Erin is red. If something is not kind and not blue then it is not big.
Dave is not smart.