このローテクは職種リスクプレミアムである
fact1: とある物が昭和時代だとしたらそれは職種リスクプレミアムだ fact2: もしも「あの描像は検討し直す」ということは成り立つとするとそれは斜面培地である fact3: なにかはおわすとしたらそれは斜面培地でない fact4: 仮にあの描像が斜面培地であるならこのリバーブは斜面培地だ fact5: 「あの描像は第十山岳師団だがしかし検討し直さない」ということは成り立たない fact6: 仮に「このリバーブは自動車生産だ一方で賜饌でない」ということは成り立たないとすればそれはおわす fact7: もしもこのリバーブが賜饌だとすればおわす fact8: もしこのリバーブが職種リスクプレミアムならばこのローテクは職種リスクプレミアムでない fact9: 仏教寺院は斜面培地であるということはないしその上おわさない fact10: あの描像は賜饌だ fact11: もしも「この等色関数は仏教寺院でない」ということは本当だとすれば「このローテクは昭和時代である」ということは成り立つ fact12: もし仮にある物が斜面培地でなくて加えてそれがおわさないとしたら職種リスクプレミアムである fact13: 「この等色関数が検討し直すがしかし昭和時代でないとするとこのリバーブは仏教寺院である」ということは事実だ fact14: 「「このリバーブは自動車生産であるし賜饌である」ということは事実と異なる」ということは成り立つ fact15: このローテクは第十山岳師団でない fact16: このリバーブは賜饌でない fact17: 「あの描像は第十山岳師団であるが検討し直さない」ということは成り立たないとすればそれは斜面培地である fact18: 仮にあの描像が賜饌でないとしたらこのリバーブは検討し直す fact19: 仮にこのリバーブが自動車生産であるし賜饌だとすればこの等色関数は仏教寺院でない fact20: もし仮にこのリバーブが賜饌であるとしたらあの描像は賜饌である fact21: 「あの描像は第十山岳師団であるしおまけに検討し直す」ということは成り立たない fact22: もしこのリバーブが自動車生産だ一方で賜饌でないならばあの等色関数は仏教寺院でない
void -> assump1: 以下のように仮定する。「このリバーブは自動車生産であるが賜饌であるということはない」ということは偽である; fact6 & assump1 -> int1: このリバーブはおわす; fact3 -> int2: このリバーブがおわせばそれは斜面培地でない; int1 & int2 -> int3: このリバーブは斜面培地だということはない; fact17 & fact5 -> int4: あの描像は斜面培地である; fact4 & int4 -> int5: 「このリバーブは斜面培地だ」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このリバーブは自動車生産であるがそれは賜饌でない; int7 & fact22 -> int8: この等色関数は仏教寺院でない; int8 & fact11 -> int9: このローテクは昭和時代である; fact1 -> int10: もしこのローテクは昭和時代だとすると「それは職種リスクプレミアムである」ということは成り立つ; int9 & int10 -> hypothesis;
このローテクは職種リスクプレミアムだということはない
fact24 -> int11: もし仮に「このリバーブは斜面培地でないしそれにおわさない」ということは偽であるということはないなら職種リスクプレミアムである; fact23 -> int12: もしこのリバーブが仏教寺院だとするとそれは斜面培地でなくてその上それはおわさない;
$facts$ = fact1: とある物が昭和時代だとしたらそれは職種リスクプレミアムだ fact2: もしも「あの描像は検討し直す」ということは成り立つとするとそれは斜面培地である fact3: なにかはおわすとしたらそれは斜面培地でない fact4: 仮にあの描像が斜面培地であるならこのリバーブは斜面培地だ fact5: 「あの描像は第十山岳師団だがしかし検討し直さない」ということは成り立たない fact6: 仮に「このリバーブは自動車生産だ一方で賜饌でない」ということは成り立たないとすればそれはおわす fact7: もしもこのリバーブが賜饌だとすればおわす fact8: もしこのリバーブが職種リスクプレミアムならばこのローテクは職種リスクプレミアムでない fact9: 仏教寺院は斜面培地であるということはないしその上おわさない fact10: あの描像は賜饌だ fact11: もしも「この等色関数は仏教寺院でない」ということは本当だとすれば「このローテクは昭和時代である」ということは成り立つ fact12: もし仮にある物が斜面培地でなくて加えてそれがおわさないとしたら職種リスクプレミアムである fact13: 「この等色関数が検討し直すがしかし昭和時代でないとするとこのリバーブは仏教寺院である」ということは事実だ fact14: 「「このリバーブは自動車生産であるし賜饌である」ということは事実と異なる」ということは成り立つ fact15: このローテクは第十山岳師団でない fact16: このリバーブは賜饌でない fact17: 「あの描像は第十山岳師団であるが検討し直さない」ということは成り立たないとすればそれは斜面培地である fact18: 仮にあの描像が賜饌でないとしたらこのリバーブは検討し直す fact19: 仮にこのリバーブが自動車生産であるし賜饌だとすればこの等色関数は仏教寺院でない fact20: もし仮にこのリバーブが賜饌であるとしたらあの描像は賜饌である fact21: 「あの描像は第十山岳師団であるしおまけに検討し直す」ということは成り立たない fact22: もしこのリバーブが自動車生産だ一方で賜饌でないならばあの等色関数は仏教寺院でない ; $hypothesis$ = このローテクは職種リスクプレミアムである ; $proof$ = 
void -> assump1: 以下のように仮定する。「このリバーブは自動車生産であるが賜饌であるということはない」ということは偽である; fact6 & assump1 -> int1: このリバーブはおわす; fact3 -> int2: このリバーブがおわせばそれは斜面培地でない; int1 & int2 -> int3: このリバーブは斜面培地だということはない; fact17 & fact5 -> int4: あの描像は斜面培地である; fact4 & int4 -> int5: 「このリバーブは斜面培地だ」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このリバーブは自動車生産であるがそれは賜饌でない; int7 & fact22 -> int8: この等色関数は仏教寺院でない; int8 & fact11 -> int9: このローテクは昭和時代である; fact1 -> int10: もしこのローテクは昭和時代だとすると「それは職種リスクプレミアムである」ということは成り立つ; int9 & int10 -> hypothesis; __PROVED__
事実1: とある物が昭和時代だとしたらそれは職種リスクプレミアムだ
事実2: もしも「あの描像は検討し直す」ということは成り立つとするとそれは斜面培地である
事実3: なにかはおわすとしたらそれは斜面培地でない
事実4: 仮にあの描像が斜面培地であるならこのリバーブは斜面培地だ
事実5: 「あの描像は第十山岳師団だがしかし検討し直さない」ということは成り立たない
事実6: 仮に「このリバーブは自動車生産だ一方で賜饌でない」ということは成り立たないとすればそれはおわす
事実7: もしもこのリバーブが賜饌だとすればおわす
事実8: もしこのリバーブが職種リスクプレミアムならばこのローテクは職種リスクプレミアムでない
事実9: 仏教寺院は斜面培地であるということはないしその上おわさない
事実10: あの描像は賜饌だ
事実11: もしも「この等色関数は仏教寺院でない」ということは本当だとすれば「このローテクは昭和時代である」ということは成り立つ
事実12: もし仮にある物が斜面培地でなくて加えてそれがおわさないとしたら職種リスクプレミアムである
事実13: 「この等色関数が検討し直すがしかし昭和時代でないとするとこのリバーブは仏教寺院である」ということは事実だ
事実14: 「「このリバーブは自動車生産であるし賜饌である」ということは事実と異なる」ということは成り立つ
事実15: このローテクは第十山岳師団でない
事実16: このリバーブは賜饌でない
事実17: 「あの描像は第十山岳師団であるが検討し直さない」ということは成り立たないとすればそれは斜面培地である
事実18: 仮にあの描像が賜饌でないとしたらこのリバーブは検討し直す
事実19: 仮にこのリバーブが自動車生産であるし賜饌だとすればこの等色関数は仏教寺院でない
事実20: もし仮にこのリバーブが賜饌であるとしたらあの描像は賜饌である
事実21: 「あの描像は第十山岳師団であるしおまけに検討し直す」ということは成り立たない
事実22: もしこのリバーブが自動車生産だ一方で賜饌でないならばあの等色関数は仏教寺院でない

仮説: このローテクは職種リスクプレミアムである
1. 仮定1: 以下のように仮定する。「このリバーブは自動車生産であるが賜饌であるということはない」ということは偽である
2. 事実6と仮定1から、推論1: "このリバーブはおわす"が導かれる
3. 事実3から、推論2: "このリバーブがおわせばそれは斜面培地でない"が導かれる
4. 推論1と推論2から、推論3: "このリバーブは斜面培地だということはない"が導かれる
5. 事実17と事実5から、推論4: "あの描像は斜面培地である"が導かれる
6. 事実4と推論4から、推論5: "「このリバーブは斜面培地だ」ということは正しい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このリバーブは自動車生産であるがそれは賜饌でない"が導かれる
9. 推論7と事実22から、推論8: "この等色関数は仏教寺院でない"が導かれる
10. 推論8と事実11から、推論9: "このローテクは昭和時代である"が導かれる
11. 事実1から、推論10: "もしこのローテクは昭和時代だとすると「それは職種リスクプレミアムである」ということは成り立つ"が導かれる
12. 推論9と推論10から、仮説が導かれる

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