そのオンバランスは詳細不明でない
fact1: もし「あるものは競わないししかも人的ネットワークでない」ということは成り立たないならば国際予備審査機関である fact2: もしもなにがしかの物が競えばそれは国際予備審査機関である fact3: そのオンバランスは人的ネットワークである fact4: あのバーサライタは人的ネットワークでない fact5: もしもある物が盗み見るとするとそれはバントだ fact6: もし仮に「何らかのものはバントでないしそれは妄想しない」ということは成り立つということはないとすれば国際予備審査機関だ fact7: そのＢ棟が競うとすれば国際予備審査機関である fact8: もし仮に「妄想しなくてまた多層構造な」物があるとするとその船乗り達は国際予備審査機関でない fact9: 仮にそのオンバランスが妄想するししかも詳細不明だとするとあのバーサライタはバントでない fact10: もし何かは国際予備審査機関であるとすれば多層構造だ fact11: この名称欄は算定し難くない fact12: 仮に「あのバーサライタは解剖学的特徴でない」ということは成り立つとしたら「盗み見るし更にそれはバントだ」ということは成り立つということはない fact13: 「そのＢ棟は競わなくて人的ネットワークでない」ということは正しくない fact14: 「そのＢ棟は競うがしかし人的ネットワークでない」ということは成り立たない fact15: あのバーサライタは盗み見る fact16: そのＢ棟が多層構造であるとすればあのオンバランスは妄想する fact17: もし仮にあのバーサライタが粘り強いとするとそれは滑り難い fact18: もしも「あのバーサライタは盗み見るしそれはバントである」ということは嘘だとしたら詳細不明でない fact19: この名称欄はボーリング場である fact20: もし仮にこの名称欄が算定し難くないとするとそれは茶色っぽくてえげつない
fact1 -> int1: 「そのＢ棟は競わないし加えてそれは人的ネットワークでない」ということは事実と異なれば国際予備審査機関だ; int1 & fact13 -> int2: そのＢ棟は国際予備審査機関だ; fact10 -> int3: もしそのＢ棟が国際予備審査機関だとしたらそれは多層構造だ; int2 & int3 -> int4: そのＢ棟は多層構造である; int4 & fact16 -> int5: そのオンバランスは妄想する; void -> assump1: 以下のように仮定する。そのオンバランスは詳細不明だ; int5 & assump1 -> int6: そのオンバランスは妄想するし加えてそれは詳細不明だ; int6 & fact9 -> int7: あのバーサライタはバントでない; fact5 -> int8: 仮にあのバーサライタが盗み見ればそれはバントである; int8 & fact15 -> int9: あのバーサライタはバントだ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
そのオンバランスは詳細不明である
fact21 -> int11: もし「そのオンバランスはバントでないし更に妄想しない」ということは間違いだとすれば国際予備審査機関だ;
$facts$ = fact1: もし「あるものは競わないししかも人的ネットワークでない」ということは成り立たないならば国際予備審査機関である fact2: もしもなにがしかの物が競えばそれは国際予備審査機関である fact3: そのオンバランスは人的ネットワークである fact4: あのバーサライタは人的ネットワークでない fact5: もしもある物が盗み見るとするとそれはバントだ fact6: もし仮に「何らかのものはバントでないしそれは妄想しない」ということは成り立つということはないとすれば国際予備審査機関だ fact7: そのＢ棟が競うとすれば国際予備審査機関である fact8: もし仮に「妄想しなくてまた多層構造な」物があるとするとその船乗り達は国際予備審査機関でない fact9: 仮にそのオンバランスが妄想するししかも詳細不明だとするとあのバーサライタはバントでない fact10: もし何かは国際予備審査機関であるとすれば多層構造だ fact11: この名称欄は算定し難くない fact12: 仮に「あのバーサライタは解剖学的特徴でない」ということは成り立つとしたら「盗み見るし更にそれはバントだ」ということは成り立つということはない fact13: 「そのＢ棟は競わなくて人的ネットワークでない」ということは正しくない fact14: 「そのＢ棟は競うがしかし人的ネットワークでない」ということは成り立たない fact15: あのバーサライタは盗み見る fact16: そのＢ棟が多層構造であるとすればあのオンバランスは妄想する fact17: もし仮にあのバーサライタが粘り強いとするとそれは滑り難い fact18: もしも「あのバーサライタは盗み見るしそれはバントである」ということは嘘だとしたら詳細不明でない fact19: この名称欄はボーリング場である fact20: もし仮にこの名称欄が算定し難くないとするとそれは茶色っぽくてえげつない ; $hypothesis$ = そのオンバランスは詳細不明でない ; $proof$ = 
fact1 -> int1: 「そのＢ棟は競わないし加えてそれは人的ネットワークでない」ということは事実と異なれば国際予備審査機関だ; int1 & fact13 -> int2: そのＢ棟は国際予備審査機関だ; fact10 -> int3: もしそのＢ棟が国際予備審査機関だとしたらそれは多層構造だ; int2 & int3 -> int4: そのＢ棟は多層構造である; int4 & fact16 -> int5: そのオンバランスは妄想する; void -> assump1: 以下のように仮定する。そのオンバランスは詳細不明だ; int5 & assump1 -> int6: そのオンバランスは妄想するし加えてそれは詳細不明だ; int6 & fact9 -> int7: あのバーサライタはバントでない; fact5 -> int8: 仮にあのバーサライタが盗み見ればそれはバントである; int8 & fact15 -> int9: あのバーサライタはバントだ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし「あるものは競わないししかも人的ネットワークでない」ということは成り立たないならば国際予備審査機関である
事実2: もしもなにがしかの物が競えばそれは国際予備審査機関である
事実3: そのオンバランスは人的ネットワークである
事実4: あのバーサライタは人的ネットワークでない
事実5: もしもある物が盗み見るとするとそれはバントだ
事実6: もし仮に「何らかのものはバントでないしそれは妄想しない」ということは成り立つということはないとすれば国際予備審査機関だ
事実7: そのＢ棟が競うとすれば国際予備審査機関である
事実8: もし仮に「妄想しなくてまた多層構造な」物があるとするとその船乗り達は国際予備審査機関でない
事実9: 仮にそのオンバランスが妄想するししかも詳細不明だとするとあのバーサライタはバントでない
事実10: もし何かは国際予備審査機関であるとすれば多層構造だ
事実11: この名称欄は算定し難くない
事実12: 仮に「あのバーサライタは解剖学的特徴でない」ということは成り立つとしたら「盗み見るし更にそれはバントだ」ということは成り立つということはない
事実13: 「そのＢ棟は競わなくて人的ネットワークでない」ということは正しくない
事実14: 「そのＢ棟は競うがしかし人的ネットワークでない」ということは成り立たない
事実15: あのバーサライタは盗み見る
事実16: そのＢ棟が多層構造であるとすればあのオンバランスは妄想する
事実17: もし仮にあのバーサライタが粘り強いとするとそれは滑り難い
事実18: もしも「あのバーサライタは盗み見るしそれはバントである」ということは嘘だとしたら詳細不明でない
事実19: この名称欄はボーリング場である
事実20: もし仮にこの名称欄が算定し難くないとするとそれは茶色っぽくてえげつない

仮説: そのオンバランスは詳細不明でない
1. 事実1から、推論1: "「そのＢ棟は競わないし加えてそれは人的ネットワークでない」ということは事実と異なれば国際予備審査機関だ"が導かれる
2. 推論1と事実13から、推論2: "そのＢ棟は国際予備審査機関だ"が導かれる
3. 事実10から、推論3: "もしそのＢ棟が国際予備審査機関だとしたらそれは多層構造だ"が導かれる
4. 推論2と推論3から、推論4: "そのＢ棟は多層構造である"が導かれる
5. 推論4と事実16から、推論5: "そのオンバランスは妄想する"が導かれる
6. 仮定1: 以下のように仮定する。そのオンバランスは詳細不明だ
7. 推論5と仮定1から、推論6: "そのオンバランスは妄想するし加えてそれは詳細不明だ"が導かれる
8. 推論6と事実9から、推論7: "あのバーサライタはバントでない"が導かれる
9. 事実5から、推論8: "仮にあのバーサライタが盗み見ればそれはバントである"が導かれる
10. 推論8と事実15から、推論9: "あのバーサライタはバントだ"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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