Charlie is huge. Charlie is high. Bob is small. Bob is short. Dave is nice. Anne is poor. Anne is sad. If someone is not strong then they are poor. If someone is not bad then they are wealthy. If someone is nice then they are clever. If someone is clever and not rough then they are kind. If someone is poor and not strong then they are dull. All dull people are thin. If someone is small and short then they are rough. If someone is rough and not clever then they are sad. If someone is sad then they are young. If someone is wealthy then they are quiet. All quiet people are smart. All kind people are experienced. 
Charlie is not thin.