Anne is young. Charlie is round. Erin is white. Gary is red. If something is white then it is rough. If Anne is rough and Anne is red then Anne is white. All young things are red. Rough, red things are big. White, young things are red. If Charlie is round then Charlie is red. Big things are white. If something is rough and young then it is white.
Gary is not big.