そのタガログ語はお好み焼きである
fact1: 仮にとある物が通関するならお好み焼きだ fact2: もし仮に浮き易くないものがあるとしたらそのタガログ語は逆回転するかあるいは浮き易いということはないかもしくはどちらもだ fact3: そのタガログ語は逆回転するかあるいは浮き易いか両方ともだ fact4: 「浮き易くない」物はある fact5: もしもある物が万朝報紙だということはないとしたら手強い fact6: もし仮にとある物が逆回転するかもしくはそれが浮き易くないとすると通関する
fact6 -> int1: もしそのタガログ語は逆回転するかもしくは浮き易くないとすれば「通関する」ということは確かだ; fact4 & fact2 -> int2: そのタガログ語は逆回転するかあるいは浮き易いということはないか両方ともである; int1 & int2 -> int3: そのタガログ語は通関する; fact1 -> int4: そのタガログ語が通関すればお好み焼きである; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮にとある物が通関するならお好み焼きだ fact2: もし仮に浮き易くないものがあるとしたらそのタガログ語は逆回転するかあるいは浮き易いということはないかもしくはどちらもだ fact3: そのタガログ語は逆回転するかあるいは浮き易いか両方ともだ fact4: 「浮き易くない」物はある fact5: もしもある物が万朝報紙だということはないとしたら手強い fact6: もし仮にとある物が逆回転するかもしくはそれが浮き易くないとすると通関する ; $hypothesis$ = そのタガログ語はお好み焼きである ; $proof$ = 
fact6 -> int1: もしそのタガログ語は逆回転するかもしくは浮き易くないとすれば「通関する」ということは確かだ; fact4 & fact2 -> int2: そのタガログ語は逆回転するかあるいは浮き易いということはないか両方ともである; int1 & int2 -> int3: そのタガログ語は通関する; fact1 -> int4: そのタガログ語が通関すればお好み焼きである; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にとある物が通関するならお好み焼きだ
事実2: もし仮に浮き易くないものがあるとしたらそのタガログ語は逆回転するかあるいは浮き易いということはないかもしくはどちらもだ
事実3: そのタガログ語は逆回転するかあるいは浮き易いか両方ともだ
事実4: 「浮き易くない」物はある
事実5: もしもある物が万朝報紙だということはないとしたら手強い
事実6: もし仮にとある物が逆回転するかもしくはそれが浮き易くないとすると通関する

仮説: そのタガログ語はお好み焼きである
1. 事実6から、推論1: "もしそのタガログ語は逆回転するかもしくは浮き易くないとすれば「通関する」ということは確かだ"が導かれる
2. 事実4と事実2から、推論2: "そのタガログ語は逆回転するかあるいは浮き易いということはないか両方ともである"が導かれる
3. 推論1と推論2から、推論3: "そのタガログ語は通関する"が導かれる
4. 事実1から、推論4: "そのタガログ語が通関すればお好み焼きである"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。