Alan is strong. Alan is big. Charlie is short. Charlie is thin. Dave is quiet. Bob is poor. Bob is sad. If someone is not huge then they are poor. If someone is not dull then they are smart. If someone is quiet then they are wealthy. If someone is wealthy and not rough then they are nice. If someone is poor and not huge then they are bad. If someone is short and thin then they are rough. If someone is rough and not wealthy then they are sad. All smart people are kind. 
Dave is not nice.