「この準備ジェスチャーは岩魚だ」ということは成り立つ
fact1: もしも「あの運送は千三百九十四ケーブルでない」ということは成り立つとすればその表題・見出しが木目細かいということはないしその上それは千三百九十四ケーブルでない fact2: その均衡生産量は父親役割だということはない fact3: このコーヒープレスは起こし難くない fact4: その表題・見出しが木目細かくないしその上千三百九十四ケーブルでないとしたらこの準備ジェスチャーは起こし難くない fact5: もしもその出入りが図々しいとするとあの鎖状は長老である fact6: このコーヒープレスは動揺し易くない fact7: 仮に「「このコーヒープレスは岩魚だ一方で千三百九十四ケーブルでない」ということは偽である」ということは正しいとするとこの準備ジェスチャーは岩魚であるということはない fact8: 仮にこの準備ジェスチャーが間違え易いとしたらそれは岩魚だ fact9: もし仮にこのコーヒープレスはしゃあ無いがしかしＤＶ問題でないなら動揺し易い fact10: もし仮に何らかの物が背負わないとすると標識するしか弱い fact11: 仮に「何かは俗っぽくないしそれにそれは輝き渡らない」ということは成り立たないとしたらアップルメニューでない fact12: その所持金がアップルメニューでないならその出入りは図々しい fact13: あの運送が動揺し易いが木目細かくないとしたらこのコーヒープレスは千三百九十四ケーブルでない fact14: 仮にその餓鬼病みが標識する一方でそれが間違え易くないとしたらその表題・見出しは起こし難くない fact15: その所持金は融資する fact16: もしとある物は千三百九十四ケーブルでないとするとそれは悪徳でない fact17: 仮にその所持金は錯綜するとすると「俗っぽくないし更に輝き渡らない」ということは正しくない fact18: もし「「背負うし破れ難い」ということは事実と異なる」ものがあるとするとその餓鬼病みは背負わない fact19: 仮にあの運送は動揺し易いとすれば「「このコーヒープレスは岩魚であるけど千三百九十四ケーブルでない」ということは成り立つということはない」ということは真実である fact20: その表題・見出しが起こし難いとするとあの運送は動揺し易いがしかしそれは木目細かいということはない fact21: 「その均衡生産量は父親役割でないとすると「その均衡生産量は背負うしかつ破れ難い」ということは成り立たない」ということは確かだ fact22: もし仮に「その屋根上は長老だ」ということは間違っていないとするとその餓鬼病みは間違え易くない fact23: 仮にその所持金が融資するとすればそれは錯綜する fact24: もし「水切り籠であるということはないかあるいは長老である」物があればその屋根上は長老である fact25: もし仮にこのコーヒープレスがＤＶ問題だとすればあの運送は千三百九十四ケーブルでない fact26: もし「「このコーヒープレスはしゃあ無いけどそれはＤＶ問題でない」ということは成り立たない」ということは事実であるとすればあの運送は千三百九十四ケーブルでない fact27: 「この準備ジェスチャーは起こし難くない」ということは確かだとしたらそれは間違え易い
void -> assump1: 以下のように仮定する。このコーヒープレスはしゃあ無いものであり加えてＤＶ問題でない; fact9 & assump1 -> int1: このコーヒープレスは動揺し易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このコーヒープレスはしゃあ無いけれどそれはＤＶ問題でない」ということは嘘だ; int3 & fact26 -> int4: あの運送は千三百九十四ケーブルでない; int4 & fact1 -> int5: 「その表題・見出しは木目細かくなくてそれは千三百九十四ケーブルでない」ということは正しい; int5 & fact4 -> int6: この準備ジェスチャーは起こし難くない; int6 & fact27 -> int7: この準備ジェスチャーは間違え易い; int7 & fact8 -> hypothesis;
「この準備ジェスチャーは岩魚でない」ということは真実だ
fact37 -> int8: その餓鬼病みが背負わないならそれは標識するし加えてそれはか弱い; fact36 & fact29 -> int9: 「その均衡生産量は背負うしさらに破れ難い」ということは事実でない; int9 -> int10: 「「背負うし更に破れ難い」ということは成り立つということはない」ものはある; int10 & fact40 -> int11: その餓鬼病みは背負わない; int8 & int11 -> int12: その餓鬼病みは標識するしか弱い; int12 -> int13: その餓鬼病みは標識する; fact34 -> int14: もし仮に「その所持金は俗っぽくないしそれに輝き渡らない」ということは成り立たないとしたらそれはアップルメニューでない; fact33 & fact32 -> int15: その所持金は錯綜する; fact41 & int15 -> int16: 「「その所持金は俗っぽくないしさらに輝き渡らない」ということは成り立たない」ということは正しい; int14 & int16 -> int17: その所持金はアップルメニューでない; fact42 & int17 -> int18: その出入りは図々しい; fact38 & int18 -> int19: あの鎖状は長老である; int19 -> int20: あの鎖状は水切り籠でないかまたはそれは長老であるかまたは両方である; int20 -> int21: 「水切り籠でないか長老な」ものはある; int21 & fact28 -> int22: その屋根上は長老である; fact35 & int22 -> int23: その餓鬼病みは間違え易くない; int13 & int23 -> int24: その餓鬼病みは標識するけど間違え易くない; fact39 & int24 -> int25: その表題・見出しは起こし難くない; int25 -> int26: 「起こし難くない」ものはある;
$facts$ = fact1: もしも「あの運送は千三百九十四ケーブルでない」ということは成り立つとすればその表題・見出しが木目細かいということはないしその上それは千三百九十四ケーブルでない fact2: その均衡生産量は父親役割だということはない fact3: このコーヒープレスは起こし難くない fact4: その表題・見出しが木目細かくないしその上千三百九十四ケーブルでないとしたらこの準備ジェスチャーは起こし難くない fact5: もしもその出入りが図々しいとするとあの鎖状は長老である fact6: このコーヒープレスは動揺し易くない fact7: 仮に「「このコーヒープレスは岩魚だ一方で千三百九十四ケーブルでない」ということは偽である」ということは正しいとするとこの準備ジェスチャーは岩魚であるということはない fact8: 仮にこの準備ジェスチャーが間違え易いとしたらそれは岩魚だ fact9: もし仮にこのコーヒープレスはしゃあ無いがしかしＤＶ問題でないなら動揺し易い fact10: もし仮に何らかの物が背負わないとすると標識するしか弱い fact11: 仮に「何かは俗っぽくないしそれにそれは輝き渡らない」ということは成り立たないとしたらアップルメニューでない fact12: その所持金がアップルメニューでないならその出入りは図々しい fact13: あの運送が動揺し易いが木目細かくないとしたらこのコーヒープレスは千三百九十四ケーブルでない fact14: 仮にその餓鬼病みが標識する一方でそれが間違え易くないとしたらその表題・見出しは起こし難くない fact15: その所持金は融資する fact16: もしとある物は千三百九十四ケーブルでないとするとそれは悪徳でない fact17: 仮にその所持金は錯綜するとすると「俗っぽくないし更に輝き渡らない」ということは正しくない fact18: もし「「背負うし破れ難い」ということは事実と異なる」ものがあるとするとその餓鬼病みは背負わない fact19: 仮にあの運送は動揺し易いとすれば「「このコーヒープレスは岩魚であるけど千三百九十四ケーブルでない」ということは成り立つということはない」ということは真実である fact20: その表題・見出しが起こし難いとするとあの運送は動揺し易いがしかしそれは木目細かいということはない fact21: 「その均衡生産量は父親役割でないとすると「その均衡生産量は背負うしかつ破れ難い」ということは成り立たない」ということは確かだ fact22: もし仮に「その屋根上は長老だ」ということは間違っていないとするとその餓鬼病みは間違え易くない fact23: 仮にその所持金が融資するとすればそれは錯綜する fact24: もし「水切り籠であるということはないかあるいは長老である」物があればその屋根上は長老である fact25: もし仮にこのコーヒープレスがＤＶ問題だとすればあの運送は千三百九十四ケーブルでない fact26: もし「「このコーヒープレスはしゃあ無いけどそれはＤＶ問題でない」ということは成り立たない」ということは事実であるとすればあの運送は千三百九十四ケーブルでない fact27: 「この準備ジェスチャーは起こし難くない」ということは確かだとしたらそれは間違え易い ; $hypothesis$ = 「この準備ジェスチャーは岩魚だ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。このコーヒープレスはしゃあ無いものであり加えてＤＶ問題でない; fact9 & assump1 -> int1: このコーヒープレスは動揺し易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このコーヒープレスはしゃあ無いけれどそれはＤＶ問題でない」ということは嘘だ; int3 & fact26 -> int4: あの運送は千三百九十四ケーブルでない; int4 & fact1 -> int5: 「その表題・見出しは木目細かくなくてそれは千三百九十四ケーブルでない」ということは正しい; int5 & fact4 -> int6: この準備ジェスチャーは起こし難くない; int6 & fact27 -> int7: この準備ジェスチャーは間違え易い; int7 & fact8 -> hypothesis; __PROVED__
事実1: もしも「あの運送は千三百九十四ケーブルでない」ということは成り立つとすればその表題・見出しが木目細かいということはないしその上それは千三百九十四ケーブルでない
事実2: その均衡生産量は父親役割だということはない
事実3: このコーヒープレスは起こし難くない
事実4: その表題・見出しが木目細かくないしその上千三百九十四ケーブルでないとしたらこの準備ジェスチャーは起こし難くない
事実5: もしもその出入りが図々しいとするとあの鎖状は長老である
事実6: このコーヒープレスは動揺し易くない
事実7: 仮に「「このコーヒープレスは岩魚だ一方で千三百九十四ケーブルでない」ということは偽である」ということは正しいとするとこの準備ジェスチャーは岩魚であるということはない
事実8: 仮にこの準備ジェスチャーが間違え易いとしたらそれは岩魚だ
事実9: もし仮にこのコーヒープレスはしゃあ無いがしかしＤＶ問題でないなら動揺し易い
事実10: もし仮に何らかの物が背負わないとすると標識するしか弱い
事実11: 仮に「何かは俗っぽくないしそれにそれは輝き渡らない」ということは成り立たないとしたらアップルメニューでない
事実12: その所持金がアップルメニューでないならその出入りは図々しい
事実13: あの運送が動揺し易いが木目細かくないとしたらこのコーヒープレスは千三百九十四ケーブルでない
事実14: 仮にその餓鬼病みが標識する一方でそれが間違え易くないとしたらその表題・見出しは起こし難くない
事実15: その所持金は融資する
事実16: もしとある物は千三百九十四ケーブルでないとするとそれは悪徳でない
事実17: 仮にその所持金は錯綜するとすると「俗っぽくないし更に輝き渡らない」ということは正しくない
事実18: もし「「背負うし破れ難い」ということは事実と異なる」ものがあるとするとその餓鬼病みは背負わない
事実19: 仮にあの運送は動揺し易いとすれば「「このコーヒープレスは岩魚であるけど千三百九十四ケーブルでない」ということは成り立つということはない」ということは真実である
事実20: その表題・見出しが起こし難いとするとあの運送は動揺し易いがしかしそれは木目細かいということはない
事実21: 「その均衡生産量は父親役割でないとすると「その均衡生産量は背負うしかつ破れ難い」ということは成り立たない」ということは確かだ
事実22: もし仮に「その屋根上は長老だ」ということは間違っていないとするとその餓鬼病みは間違え易くない
事実23: 仮にその所持金が融資するとすればそれは錯綜する
事実24: もし「水切り籠であるということはないかあるいは長老である」物があればその屋根上は長老である
事実25: もし仮にこのコーヒープレスがＤＶ問題だとすればあの運送は千三百九十四ケーブルでない
事実26: もし「「このコーヒープレスはしゃあ無いけどそれはＤＶ問題でない」ということは成り立たない」ということは事実であるとすればあの運送は千三百九十四ケーブルでない
事実27: 「この準備ジェスチャーは起こし難くない」ということは確かだとしたらそれは間違え易い

仮説: 「この準備ジェスチャーは岩魚だ」ということは成り立つ
1. 仮定1: 以下のように仮定する。このコーヒープレスはしゃあ無いものであり加えてＤＶ問題でない
2. 事実9と仮定1から、推論1: "このコーヒープレスは動揺し易い"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このコーヒープレスはしゃあ無いけれどそれはＤＶ問題でない」ということは嘘だ"が導かれる
5. 推論3と事実26から、推論4: "あの運送は千三百九十四ケーブルでない"が導かれる
6. 推論4と事実1から、推論5: "「その表題・見出しは木目細かくなくてそれは千三百九十四ケーブルでない」ということは正しい"が導かれる
7. 推論5と事実4から、推論6: "この準備ジェスチャーは起こし難くない"が導かれる
8. 推論6と事実27から、推論7: "この準備ジェスチャーは間違え易い"が導かれる
9. 推論7と事実8から、仮説が導かれる

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