Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is young. Dave is blue. Dave is green. Dave is red. Dave is rough. Erin is blue. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is smart. Erin is young. Green things are smart. If something is young then it is kind. If Dave is rough then Dave is young.
Dave is not smart.