あの豊臣方は疲れ易い
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: 「「勤労者だ」ということは成り立つ」物はある fact28: この計測・計算はフロント・フェンダーでない
void -> assump1: 以下のように仮定する。「この民兵組織は出来る」ということは本当である; fact1 & assump1 -> int1: そのポリペプチドは乾くということはなくて仲介者だということはない; fact12 -> int2: もし仮にそのポリペプチドが乾かなくてまた仲介者でないなら返還するということはない; int1 & int2 -> int3: そのポリペプチドは返還しない; int3 & fact21 -> int4: この計測・計算は奉納しないか分かり合えるかもしくは両方である; fact13 & fact28 -> int5: 「この計測・計算は奉納しないかもしくはそれは分かり合えるかまたは両方ともである」ということは誤っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この民兵組織は出来ない; fact4 & fact24 -> int8: この民兵組織はＤＬＺＲである一方で続航しない; fact15 -> int9: もし仮にこの民兵組織はＤＬＺＲであるけれど続航しないとするとそれは取り出し易い; int8 & int9 -> int10: この民兵組織は取り出し易い; int7 & int10 -> int11: この民兵組織は出来ないがしかし取り出し易い; int11 & fact23 -> hypothesis;
あの豊臣方は疲れ易い
fact29 -> int12: もしそのポリペプチドは分かり合えるとすると「出来る」ということは確かである; fact30 & fact34 -> int13: この計測・計算は続航するかあるいはそれはフロント・フェンダーであるかもしくは両方だ;
$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: 「「勤労者だ」ということは成り立つ」物はある fact28: この計測・計算はフロント・フェンダーでない ; $hypothesis$ = あの豊臣方は疲れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この民兵組織は出来る」ということは本当である; fact1 & assump1 -> int1: そのポリペプチドは乾くということはなくて仲介者だということはない; fact12 -> int2: もし仮にそのポリペプチドが乾かなくてまた仲介者でないなら返還するということはない; int1 & int2 -> int3: そのポリペプチドは返還しない; int3 & fact21 -> int4: この計測・計算は奉納しないか分かり合えるかもしくは両方である; fact13 & fact28 -> int5: 「この計測・計算は奉納しないかもしくはそれは分かり合えるかまたは両方ともである」ということは誤っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この民兵組織は出来ない; fact4 & fact24 -> int8: この民兵組織はＤＬＺＲである一方で続航しない; fact15 -> int9: もし仮にこの民兵組織はＤＬＺＲであるけれど続航しないとするとそれは取り出し易い; int8 & int9 -> int10: この民兵組織は取り出し易い; int7 & int10 -> int11: この民兵組織は出来ないがしかし取り出し易い; int11 & fact23 -> hypothesis; __DISPROVED__
事実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: 「「勤労者だ」ということは成り立つ」物はある
事実28: この計測・計算はフロント・フェンダーでない

仮説: あの豊臣方は疲れ易い
1. 仮定1: 以下のように仮定する。「この民兵組織は出来る」ということは本当である
2. 事実1と仮定1から、推論1: "そのポリペプチドは乾くということはなくて仲介者だということはない"が導かれる
3. 事実12から、推論2: "もし仮にそのポリペプチドが乾かなくてまた仲介者でないなら返還するということはない"が導かれる
4. 推論1と推論2から、推論3: "そのポリペプチドは返還しない"が導かれる
5. 推論3と事実21から、推論4: "この計測・計算は奉納しないか分かり合えるかもしくは両方である"が導かれる
6. 事実13と事実28から、推論5: "「この計測・計算は奉納しないかもしくはそれは分かり合えるかまたは両方ともである」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この民兵組織は出来ない"が導かれる
9. 事実4と事実24から、推論8: "この民兵組織はＤＬＺＲである一方で続航しない"が導かれる
10. 事実15から、推論9: "もし仮にこの民兵組織はＤＬＺＲであるけれど続航しないとするとそれは取り出し易い"が導かれる
11. 推論8と推論9から、推論10: "この民兵組織は取り出し易い"が導かれる
12. 推論7と推論10から、推論11: "この民兵組織は出来ないがしかし取り出し易い"が導かれる
13. 推論11と事実23から、仮説が否定される

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