Anne is kind. Charlie is green. Gary is big. Harry is not red. If Charlie is red then Charlie is quiet. If something is kind and not blue then it is not big. Kind things are quiet. If something is big and quiet then it is green. If Charlie is not blue then Charlie is big. All big, red things are round. If something is round and not green then it is red. If something is big and not red then it is not round.
Charlie is not green.