Anne is high. Anne is huge. Anne is strong. Bob is tiny. Bob is thin. Gary is kind. Gary is wealthy. Gary is nice. Charlie is dull. Charlie is poor. Charlie is rough. High people are kind. If someone is tiny and thin then they are little. If someone is dull and poor then they are sad. If someone is kind and wealthy then they are clever. If someone is little then they are small. If someone is small then they are short. All short people are rough. If someone is kind then they are wealthy. If someone is wealthy then they are nice. All nice people are big. If someone is clever then they are smart. If someone is smart then they are quiet. All quiet people are huge. If someone is sad then they are bad. If someone is bad then they are imperfect. All imperfect people are thin.
Charlie is not thin.