Charlie is big. Charlie is huge. Bob is little. Bob is short. Dave is nice. Alan is poor. Alan is dull. If someone is not high 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 sad then they are kind. If someone is poor and not high then they are rough. If someone is rough then they are small. All small people are thin. If someone is little and short then they are sad. If someone is sad and not clever then they are dull. If someone is dull then they are energetic. If someone is energetic then they are young. If someone is wealthy then they are quiet. If someone is quiet then they are smart. All smart people are clever. If someone is kind then they are old. All old people are experienced.
Charlie is not thin.