この土産物屋は肥満するということはない
fact1: もし仮にあの鴎は引き下ろすとすると「この敬語論は延引するかあるいはそれは奇襲作戦でないかまたはどちらもだ」ということは真実だ fact2: 「不渡りである」物はある fact3: もしもこの土産物屋がコンパイルしないが肥満するならあの鴎は引き下ろす fact4: もしなにかは絶滅するとすればこの敬語論は西鉄バスジャック事件だ fact5: 仮に奇襲作戦が延引しないならばコンパイルしない fact6: この土産物屋はコンパイルするということはない fact7: もし何かは西鉄バスジャック事件だとすれば「それは延引するかまたはそれは奇襲作戦でないかどちらもだ」ということは嘘だ fact8: このさびはコンパイルするということはない fact9: 何らかの物は絶滅する
void -> assump1: 以下のように仮定する。この土産物屋は肥満する; fact6 & assump1 -> int1: この土産物屋はコンパイルしない一方で肥満する; int1 & fact3 -> int2: あの鴎は引き下ろす; int2 & fact1 -> int3: この敬語論は延引するかもしくは奇襲作戦でない; fact7 -> int4: もしこの敬語論は西鉄バスジャック事件であるとすると「それは延引するかあるいは奇襲作戦でない」ということは間違いだ; fact4 & fact9 -> int5: この敬語論は西鉄バスジャック事件だ; int4 & int5 -> int6: 「「この敬語論は延引するかそれは奇襲作戦でない」ということは真実である」ということは成り立たない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「この土産物屋は肥満する」ということは成り立つ
fact10 -> int8: この敬語論は奇襲作戦だが延引しないならコンパイルしない;
$facts$ = fact1: もし仮にあの鴎は引き下ろすとすると「この敬語論は延引するかあるいはそれは奇襲作戦でないかまたはどちらもだ」ということは真実だ fact2: 「不渡りである」物はある fact3: もしもこの土産物屋がコンパイルしないが肥満するならあの鴎は引き下ろす fact4: もしなにかは絶滅するとすればこの敬語論は西鉄バスジャック事件だ fact5: 仮に奇襲作戦が延引しないならばコンパイルしない fact6: この土産物屋はコンパイルするということはない fact7: もし何かは西鉄バスジャック事件だとすれば「それは延引するかまたはそれは奇襲作戦でないかどちらもだ」ということは嘘だ fact8: このさびはコンパイルするということはない fact9: 何らかの物は絶滅する ; $hypothesis$ = この土産物屋は肥満するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この土産物屋は肥満する; fact6 & assump1 -> int1: この土産物屋はコンパイルしない一方で肥満する; int1 & fact3 -> int2: あの鴎は引き下ろす; int2 & fact1 -> int3: この敬語論は延引するかもしくは奇襲作戦でない; fact7 -> int4: もしこの敬語論は西鉄バスジャック事件であるとすると「それは延引するかあるいは奇襲作戦でない」ということは間違いだ; fact4 & fact9 -> int5: この敬語論は西鉄バスジャック事件だ; int4 & int5 -> int6: 「「この敬語論は延引するかそれは奇襲作戦でない」ということは真実である」ということは成り立たない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの鴎は引き下ろすとすると「この敬語論は延引するかあるいはそれは奇襲作戦でないかまたはどちらもだ」ということは真実だ
事実2: 「不渡りである」物はある
事実3: もしもこの土産物屋がコンパイルしないが肥満するならあの鴎は引き下ろす
事実4: もしなにかは絶滅するとすればこの敬語論は西鉄バスジャック事件だ
事実5: 仮に奇襲作戦が延引しないならばコンパイルしない
事実6: この土産物屋はコンパイルするということはない
事実7: もし何かは西鉄バスジャック事件だとすれば「それは延引するかまたはそれは奇襲作戦でないかどちらもだ」ということは嘘だ
事実8: このさびはコンパイルするということはない
事実9: 何らかの物は絶滅する

仮説: この土産物屋は肥満するということはない
1. 仮定1: 以下のように仮定する。この土産物屋は肥満する
2. 事実6と仮定1から、推論1: "この土産物屋はコンパイルしない一方で肥満する"が導かれる
3. 推論1と事実3から、推論2: "あの鴎は引き下ろす"が導かれる
4. 推論2と事実1から、推論3: "この敬語論は延引するかもしくは奇襲作戦でない"が導かれる
5. 事実7から、推論4: "もしこの敬語論は西鉄バスジャック事件であるとすると「それは延引するかあるいは奇襲作戦でない」ということは間違いだ"が導かれる
6. 事実4と事実9から、推論5: "この敬語論は西鉄バスジャック事件だ"が導かれる
7. 推論4と推論5から、推論6: "「「この敬語論は延引するかそれは奇襲作戦でない」ということは真実である」ということは成り立たない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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