Bob is green. Charlie is green. Gary is nice. If someone is green then they are red. If someone is young then they are quiet. If someone is round then they are green. All red people are green. Blue people are red. All green people are quiet.
Gary is not red.