Bob is round. Bob is smart. Erin is smart. Fiona is green. Fiona is red. Fiona is young. Gary is green. Gary is nice. Gary is smart. Gary is young. All smart, nice things are red. If something is round and red then it is green. If something is red and nice then it is round. If something is green and red then it is young. All green things are quiet. If Bob is smart and Bob is young then Bob is nice. If something is round then it is young. If Fiona is young then Fiona is quiet. If something is red and nice then it is green.
Bob is not green.