Anne is not big. Anne is green. Anne is nice. Anne is quiet. Anne is young. Bob is big. Charlie is big. Charlie is not green. Charlie is kind. Gary is green. Gary is red. Gary is young. All quiet people are nice. If someone is nice then they are young. Quiet people are nice. If Bob is big then Bob is quiet. All young, quiet people are green. If Charlie is kind then Charlie is not green. If someone is quiet and green then they are red.
Charlie is nice.