Anne is red. Anne is smart. Bob is young. Charlie is big. Charlie is green. Charlie is round. Charlie is smart. Gary is big. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. If Charlie is young then Charlie is smart. All young things are green. If something is green then it is big. All smart things are red. If something is big then it is round. Round things are smart. If Anne is green and Anne is smart then Anne is young.
Bob is not green.