その長波は胃内容物でしかも惨たらしい
fact1: その前書はピボットである fact2: 「応用しない」物はある fact3: 仮に何かは応用するということはないならば「胃内容物だしその上惨たらしい」ということは誤っている fact4: その長波は非線形効果だ fact5: 何かは観光客らしくない fact6: もしピボットが真面目過ぎるとしたらその長波は胃内容物だ fact7: もし仮になにかは観光客らしくないとすればその長波は惨たらしいし非線形効果だ fact8: 仮に「応用しない」物があるならばあの前書はピボットであるし加えてそれは真面目過ぎる
fact2 & fact8 -> int1: その前書がピボットだしさらに真面目過ぎる; int1 -> int2: なにかはピボットであるしさらに真面目過ぎる; int2 & fact6 -> int3: その長波は胃内容物である; fact5 & fact7 -> int4: その長波は惨たらしいしそれに非線形効果である; int4 -> int5: その長波は惨たらしい; int3 & int5 -> hypothesis;
「その長波は胃内容物であるしまた惨たらしい」ということは嘘だ
fact9 -> int6: 仮にその長波は応用するということはないとしたら「それは胃内容物であるしまた惨たらしい」ということは成り立つということはない;
$facts$ = fact1: その前書はピボットである fact2: 「応用しない」物はある fact3: 仮に何かは応用するということはないならば「胃内容物だしその上惨たらしい」ということは誤っている fact4: その長波は非線形効果だ fact5: 何かは観光客らしくない fact6: もしピボットが真面目過ぎるとしたらその長波は胃内容物だ fact7: もし仮になにかは観光客らしくないとすればその長波は惨たらしいし非線形効果だ fact8: 仮に「応用しない」物があるならばあの前書はピボットであるし加えてそれは真面目過ぎる ; $hypothesis$ = その長波は胃内容物でしかも惨たらしい ; $proof$ = 
fact2 & fact8 -> int1: その前書がピボットだしさらに真面目過ぎる; int1 -> int2: なにかはピボットであるしさらに真面目過ぎる; int2 & fact6 -> int3: その長波は胃内容物である; fact5 & fact7 -> int4: その長波は惨たらしいしそれに非線形効果である; int4 -> int5: その長波は惨たらしい; int3 & int5 -> hypothesis; __PROVED__
事実1: その前書はピボットである
事実2: 「応用しない」物はある
事実3: 仮に何かは応用するということはないならば「胃内容物だしその上惨たらしい」ということは誤っている
事実4: その長波は非線形効果だ
事実5: 何かは観光客らしくない
事実6: もしピボットが真面目過ぎるとしたらその長波は胃内容物だ
事実7: もし仮になにかは観光客らしくないとすればその長波は惨たらしいし非線形効果だ
事実8: 仮に「応用しない」物があるならばあの前書はピボットであるし加えてそれは真面目過ぎる

仮説: その長波は胃内容物でしかも惨たらしい
1. 事実2と事実8から、推論1: "その前書がピボットだしさらに真面目過ぎる"が導かれる
2. 推論1から、推論2: "なにかはピボットであるしさらに真面目過ぎる"が導かれる
3. 推論2と事実6から、推論3: "その長波は胃内容物である"が導かれる
4. 事実5と事実7から、推論4: "その長波は惨たらしいしそれに非線形効果である"が導かれる
5. 推論4から、推論5: "その長波は惨たらしい"が導かれる
6. 推論3と推論5から、仮説が導かれる

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