Charlie is young. Dave is young. Gary is big. If someone is kind then they are quiet. If someone is big then they are young. If someone is round then they are quiet. If someone is blue and round then they are young. If Charlie is quiet and Charlie is kind then Charlie is smart. All blue people are kind. All young people are blue. Quiet, smart people are round.
Charlie is not big.