Bob is big. Bob is green. Bob is not kind. Bob is not smart. Dave is cold. Dave is green. Dave is smart. Erin is big. Erin is kind. Erin is red. Erin is smart. Erin is white. Fiona is green. Fiona is red. Fiona is smart. Fiona is white. If Dave is smart then Dave is red.
Dave is not smart.