そうそう。落ちるときは落ちる。
落ちるときに落ちなければ
それは落ちるときとはいえない。

中国⊇台湾と考えれば、
　>中華航空は中国の航空会社で、
　>チャイナエアラインは台湾の航空会社。
というのも論理的には誤りではないでしょう。

なお、論理的という意味では
仮に台湾⊇中国
であっても、前２文は誤りとはいえませんが。

いつもアリタリア使ってるなんてうらやますぃ。
つまりイタリアによく行くということですね？
もちろん論理的には
一度だけ飛行機を使ったことがあって
その一度がアリタリアだったら
いつもアリタリア使ってるということになりますが、
そこまで穿った見方をするようになったら人生おしまいだ。

ということで我々の旅の安全を祈りましょう。