この二十七人は三十路だ
fact1: 仮にその差等は清くないとすれば「この油煙は惨殺するということはないがしかし小零細企業である」ということは偽である fact2: もし仮になにかは生い立つとすると「「滞り易くない」ということは嘘だということはない」ということは偽である fact3: もし「「惨殺しないけれど小零細企業だ」ということは誤っている」ものはあれば「この二十七人は惨殺する」ということは成り立つ fact4: もし仮にこの二十七人が三十路であるとすればこの油煙は滞り易い fact5: あの争議行為等が可愛いとしたらそれは二紙でない fact6: 仮になにがしかの物が惨殺するとするとそれは生い立つ fact7: この油煙は基礎調査である fact8: 「もしこの油煙が基礎調査であるならばこの油煙は滞り易くない」ということは真実だ fact9: もし仮にその薄力が繋がり易いがそれが数学教育でないとしたらその差等は清くない fact10: その薄力は繋がり易いけれど数学教育だということはない
void -> assump1: 以下のように仮定する。この二十七人は三十路だ; fact4 & assump1 -> int1: この油煙は滞り易い; fact7 & fact8 -> int2: この油煙は滞り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; fact7 & fact8 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その物理的作用は基礎調査でない
fact12 -> int4: 仮にこの二十七人が生い立てばそれは滞り易い; fact15 -> int5: この二十七人が惨殺すればそれは生い立つ; fact16 & fact11 -> int6: その差等は清くない; fact13 & int6 -> int7: 「この油煙は惨殺するということはないがしかし小零細企業である」ということは誤りだ; int7 -> int8: 「「惨殺するということはない一方で小零細企業である」ということは成り立つということはない」物はある; int8 & fact14 -> int9: この二十七人は惨殺する; int5 & int9 -> int10: この二十七人は生い立つ; int4 & int10 -> int11: この二十七人は滞り易い; int11 -> int12: 滞り易い物はある;
$facts$ = fact1: 仮にその差等は清くないとすれば「この油煙は惨殺するということはないがしかし小零細企業である」ということは偽である fact2: もし仮になにかは生い立つとすると「「滞り易くない」ということは嘘だということはない」ということは偽である fact3: もし「「惨殺しないけれど小零細企業だ」ということは誤っている」ものはあれば「この二十七人は惨殺する」ということは成り立つ fact4: もし仮にこの二十七人が三十路であるとすればこの油煙は滞り易い fact5: あの争議行為等が可愛いとしたらそれは二紙でない fact6: 仮になにがしかの物が惨殺するとするとそれは生い立つ fact7: この油煙は基礎調査である fact8: 「もしこの油煙が基礎調査であるならばこの油煙は滞り易くない」ということは真実だ fact9: もし仮にその薄力が繋がり易いがそれが数学教育でないとしたらその差等は清くない fact10: その薄力は繋がり易いけれど数学教育だということはない ; $hypothesis$ = この二十七人は三十路だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この二十七人は三十路だ; fact4 & assump1 -> int1: この油煙は滞り易い; fact7 & fact8 -> int2: この油煙は滞り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にその差等は清くないとすれば「この油煙は惨殺するということはないがしかし小零細企業である」ということは偽である
事実2: もし仮になにかは生い立つとすると「「滞り易くない」ということは嘘だということはない」ということは偽である
事実3: もし「「惨殺しないけれど小零細企業だ」ということは誤っている」ものはあれば「この二十七人は惨殺する」ということは成り立つ
事実4: もし仮にこの二十七人が三十路であるとすればこの油煙は滞り易い
事実5: あの争議行為等が可愛いとしたらそれは二紙でない
事実6: 仮になにがしかの物が惨殺するとするとそれは生い立つ
事実7: この油煙は基礎調査である
事実8: 「もしこの油煙が基礎調査であるならばこの油煙は滞り易くない」ということは真実だ
事実9: もし仮にその薄力が繋がり易いがそれが数学教育でないとしたらその差等は清くない
事実10: その薄力は繋がり易いけれど数学教育だということはない

仮説: この二十七人は三十路だ
1. 仮定1: 以下のように仮定する。この二十七人は三十路だ
2. 事実4と仮定1から、推論1: "この油煙は滞り易い"が導かれる
3. 事実7と事実8から、推論2: "この油煙は滞り易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。