Charlie is blue. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is young. Erin is blue. Harry is blue. Harry is quiet. Harry is rough. Harry is young. All quiet things are green. Big, round things are blue. Green things are round. If something is big then it is young. All blue things are quiet. Round things are big. All rough, quiet things are big. All young, green things are rough.
Charlie is not big.