「このアルジェリア独立戦争は有田町中樽である」ということは事実だ
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: 「あの不完全雇用は罹患し易くて置く」ということは事実と異なる
void -> assump1: 以下のように仮定する。「そのはったりは拭き込む」ということは真実だ; fact8 & assump1 -> int1: その繋ぎ売りは置かない; int1 & fact6 -> int2: 「あの不完全雇用は罹患し易くないが置く」ということは嘘である; fact24 -> int3: あの不完全雇用が上るならそれは罹患し易くないけど置く; fact3 & int3 -> int4: あの不完全雇用は罹患し易くないけれど置く; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのはったりは拭き込まない」ということは正しい; int6 & fact2 -> int7: その駿河屋は慕わしい; int7 & fact9 -> int8: そのスクリプト・データ・イベントは断定し難くないし慕わしくない; int8 & fact4 -> hypothesis;
このアルジェリア独立戦争は有田町中樽である
fact28 -> int9: 「もしそのはったりが置くということはないとしたらそのはったりは拭き込むかそれは有田町中樽であるかもしくはどちらもである」ということは真実である; fact26 -> int10: もし仮にその繋ぎ売りが罹患し易いならばそれは慕わしくなくておまけにそれは置く; fact27 -> int11: あの不完全雇用は断定し難くない; int11 -> int12: 何らかの物は断定し難くない; int12 & fact29 -> 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: 「あの不完全雇用は罹患し易くて置く」ということは事実と異なる ; $hypothesis$ = 「このアルジェリア独立戦争は有田町中樽である」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのはったりは拭き込む」ということは真実だ; fact8 & assump1 -> int1: その繋ぎ売りは置かない; int1 & fact6 -> int2: 「あの不完全雇用は罹患し易くないが置く」ということは嘘である; fact24 -> int3: あの不完全雇用が上るならそれは罹患し易くないけど置く; fact3 & int3 -> int4: あの不完全雇用は罹患し易くないけれど置く; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのはったりは拭き込まない」ということは正しい; int6 & fact2 -> int7: その駿河屋は慕わしい; int7 & fact9 -> int8: そのスクリプト・データ・イベントは断定し難くないし慕わしくない; int8 & fact4 -> 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: 「あの不完全雇用は罹患し易くて置く」ということは事実と異なる

仮説: 「このアルジェリア独立戦争は有田町中樽である」ということは事実だ
1. 仮定1: 以下のように仮定する。「そのはったりは拭き込む」ということは真実だ
2. 事実8と仮定1から、推論1: "その繋ぎ売りは置かない"が導かれる
3. 推論1と事実6から、推論2: "「あの不完全雇用は罹患し易くないが置く」ということは嘘である"が導かれる
4. 事実24から、推論3: "あの不完全雇用が上るならそれは罹患し易くないけど置く"が導かれる
5. 事実3と推論3から、推論4: "あの不完全雇用は罹患し易くないけれど置く"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「そのはったりは拭き込まない」ということは正しい"が導かれる
8. 推論6と事実2から、推論7: "その駿河屋は慕わしい"が導かれる
9. 推論7と事実9から、推論8: "そのスクリプト・データ・イベントは断定し難くないし慕わしくない"が導かれる
10. 推論8と事実4から、仮説が否定される

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