Anne is blue. Anne is cold. Anne is rough. Anne is smart. Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is not smart. Bob is not young. Dave is big. Dave is blue. Dave is cold. Erin is cold. Erin is young. All cold, smart things are big. Young things are smart.
Dave is not smart.