Anne is round. Anne is smart. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is smart. Gary is nice. Gary is smart. If someone is green and red then they are blue. If someone is round and not red then they are quiet. If someone is quiet and smart then they are round. If Anne is green and Anne is nice then Anne is blue. If someone is quiet then they are nice. If Gary is nice then Gary is round. If Charlie is not blue and Charlie is not round then Charlie is not smart. If someone is round and not blue then they are quiet.
Gary is smart.