Dave is not cold. Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is big. Erin is nice. Erin is quiet. Erin is smart. Erin is young. Harry is big. Harry is cold. Harry is kind. Harry is not nice. Harry is smart. Harry is not young. If something is not quiet then it is big. If Erin is smart then Erin is kind. If something is nice and not young then it is cold. Quiet, kind things are smart. If something is quiet and young then it is smart. All big, kind things are smart.
Erin is not smart.