Charlie is red. Erin is round. Gary is quiet. Harry is young. All young things are not quiet. Smart things are big. All quiet things are white. All white things are smart. If something is young and not quiet then it is red. If something is red and not round then it is white. All young, quiet things are red. If something is smart then it is red.
Erin is not big.