ヤンマーラーメン事件. Contraposition證明. TG Taiwan. 90 feet in meters.