Erin is big. Erin is blue. Erin is green. Erin is round. Gary is big. Gary is round. Gary is white. All white things are quiet. All white things are round. If something is quiet then it is big. If Erin is green then Erin is white. Green things are smart. Quiet things are smart.
Gary is not big.