Bob is nice. Dave is smart. Erin is nice. Gary is rough. If Dave is smart then Dave is green. Smart, green people are big. All quiet people are furry. All quiet, green people are furry. Big, quiet people are smart. If someone is big then they are quiet.
Dave is big.