Dave is nice. If Dave is young then Dave is not nice. All green people are not round. All young people are nice. If someone is not young then they are not rough. Big people are nice. All big, round people are green. All green people are big. If Dave is rough and Dave is young then Dave is not big.
Dave is nice.