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