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