Bob is big. Bob is blue. Bob is smart. Bob is young. Charlie is blue. Charlie is green. Charlie is red. Charlie is young. Gary is blue. Gary is green. Gary is red. Harry is big. Harry is quiet. Harry is red. Harry is smart. Harry is young. If something is green then it is smart. All red things are smart. All red, green things are quiet. All green, red things are quiet. Big things are green. If Charlie is quiet and Charlie is big then Charlie is young. If something is red and smart then it is young. All blue things are green.
Gary is big.