Red wasn't his real name, either, but its appropriateness was obvious.
Red was his real name.
mnli hypothesis: Red was his real name. premise: Red wasn't his real name, either, but its appropriateness was obvious.