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