The tallest building in North America is One World Trade Center. The tallest building in North America is located in New York City. If one thing is taller than another, then the latter is not taller than the former. Therefore, One World Trade Center is located in New York City. (Bx: x is a building in North America; Txy: x is taller than y; Nx: x is located in New York City; o: One World Trade Center.)

Derive the conclusion of the following arguments. Use conditional proof or indirect proof as needed.