Bob is blue. Bob is furry. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is rough. Dave is smart. Erin is big. Erin is blue. Erin is rough. Erin is young. If something is rough then it is big. Furry things are smart. If Bob is smart and Bob is young then Bob is blue. If something is white and rough then it is smart. All smart, furry things are blue. Blue things are young.
Dave is smart.