Anne is not green. Anne is quiet. Dave is big. Dave is green. Dave is not white. Erin is furry. Erin is not green. Gary is not big. Gary is not furry. Gary is nice. Gary is round. Gary is white. If Gary is big then Gary is quiet.
Dave is nice.