「この投資簿価は道祖神で幅広い」ということは間違いである
fact1: 仮に「その変わり御飯は見付け易くない一方で規律する」ということは真実でないとしたらあの注文形式は示せるということはない fact2: この投資簿価は計算しない fact3: その変わり御飯は計算しない fact4: 「その変わり御飯が見付け易いしその上規律する」ということは偽である fact5: もしも「「その変わり御飯は示せるしさらに計算する」ということは本当でない」ということは真実であるならばあの注文形式は見付け易くない fact6: もし仮にその変わり御飯は計算しないとしたら「見付け易くないしかつ規律する」ということは成り立たない fact7: もし仮に「あの注文形式は示せない」ということは本当であるとしたらこの投資簿価はプロらしいということはない fact8: もしもこの投資簿価はプロらしくないとしたら「それは道祖神であるし幅広い」ということは事実でない fact9: もし「「その変わり御飯は計算するということはないがしかしプロらしい」ということは嘘だ」ということは成り立つならばあの投資簿価は見付け易くない
fact6 & fact3 -> int1: 「その変わり御飯は見付け易いということはないが規律する」ということは正しいということはない; int1 & fact1 -> int2: あの注文形式は示せるということはない; int2 & fact7 -> int3: 「この投資簿価はプロらしい」ということは成り立たない; int3 & fact8 -> hypothesis;
あの注文形式は見付け易いということはない
$facts$ = fact1: 仮に「その変わり御飯は見付け易くない一方で規律する」ということは真実でないとしたらあの注文形式は示せるということはない fact2: この投資簿価は計算しない fact3: その変わり御飯は計算しない fact4: 「その変わり御飯が見付け易いしその上規律する」ということは偽である fact5: もしも「「その変わり御飯は示せるしさらに計算する」ということは本当でない」ということは真実であるならばあの注文形式は見付け易くない fact6: もし仮にその変わり御飯は計算しないとしたら「見付け易くないしかつ規律する」ということは成り立たない fact7: もし仮に「あの注文形式は示せない」ということは本当であるとしたらこの投資簿価はプロらしいということはない fact8: もしもこの投資簿価はプロらしくないとしたら「それは道祖神であるし幅広い」ということは事実でない fact9: もし「「その変わり御飯は計算するということはないがしかしプロらしい」ということは嘘だ」ということは成り立つならばあの投資簿価は見付け易くない ; $hypothesis$ = 「この投資簿価は道祖神で幅広い」ということは間違いである ; $proof$ = 
fact6 & fact3 -> int1: 「その変わり御飯は見付け易いということはないが規律する」ということは正しいということはない; int1 & fact1 -> int2: あの注文形式は示せるということはない; int2 & fact7 -> int3: 「この投資簿価はプロらしい」ということは成り立たない; int3 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「その変わり御飯は見付け易くない一方で規律する」ということは真実でないとしたらあの注文形式は示せるということはない
事実2: この投資簿価は計算しない
事実3: その変わり御飯は計算しない
事実4: 「その変わり御飯が見付け易いしその上規律する」ということは偽である
事実5: もしも「「その変わり御飯は示せるしさらに計算する」ということは本当でない」ということは真実であるならばあの注文形式は見付け易くない
事実6: もし仮にその変わり御飯は計算しないとしたら「見付け易くないしかつ規律する」ということは成り立たない
事実7: もし仮に「あの注文形式は示せない」ということは本当であるとしたらこの投資簿価はプロらしいということはない
事実8: もしもこの投資簿価はプロらしくないとしたら「それは道祖神であるし幅広い」ということは事実でない
事実9: もし「「その変わり御飯は計算するということはないがしかしプロらしい」ということは嘘だ」ということは成り立つならばあの投資簿価は見付け易くない

仮説: 「この投資簿価は道祖神で幅広い」ということは間違いである
1. 事実6と事実3から、推論1: "「その変わり御飯は見付け易いということはないが規律する」ということは正しいということはない"が導かれる
2. 推論1と事実1から、推論2: "あの注文形式は示せるということはない"が導かれる
3. 推論2と事実7から、推論3: "「この投資簿価はプロらしい」ということは成り立たない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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