Anne is strong. Anne is big. Gary is small. Gary is short. Bob is wealthy. Alan is sad. Alan is bad. If someone is not high then they are sad. If someone is not dull then they are smart. If someone is wealthy then they are nice. If someone is nice and not poor then they are clever. If someone is sad and not high then they are rough. If someone is rough then they are tiny. All tiny people are thin. If someone is small and short then they are poor. If someone is poor and not nice then they are bad. If someone is bad then they are young. If someone is young then they are energetic. If someone is smart then they are kind. If someone is kind then they are quiet. All quiet people are nice. If someone is clever then they are old. All old people are experienced.
Anne is not thin.