Bob is nice. Bob is smart. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is smart. Dave is young. Erin is young. All young, blue people are nice. If someone is nice then they are red. Red, green people are furry. Nice people are green. If Dave is young and Dave is smart then Dave is blue. If someone is red then they are green. If someone is smart and green then they are nice. Smart, furry people are blue.
Bob is not smart.