Anne is red. Anne is young. Bob is not green. Bob is quiet. Bob is not red. Bob is white. Gary is not red. If someone is young then they are not big. All young, red people are quiet.
Anne is not quiet.