「あの労働者派遣法が二作だしまたそれはプレスする」ということは成り立たない
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: 仮に「くぐもらない」ものがあるとするとこの裏取り引きは高校野球である
void -> assump1: 以下のように仮定する。このＸ線源は野暮ったくない; fact16 & assump1 -> int1: このＸ線源ははしたなくないが無理無い; int1 & fact9 -> int2: あの高・大学生は売り難くない; fact22 & fact15 -> int3: あの高・大学生は売り難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＸ線源は野暮ったい; fact13 & fact25 -> int6: このＸ線源は父親らしい; int5 & int6 -> int7: このＸ線源は父親らしいし加えてそれは野暮ったい; int7 & fact17 -> int8: このＸ線源は終身保険でない; int8 & fact1 -> int9: あの労働者派遣法は二作である; fact8 & fact19 -> int10: 「あの労働者派遣法はプレスする」ということは正しい; int9 & int10 -> hypothesis;
その遺産分割前はくぐもる
fact28 -> int11: もしもその遺産分割前が野暮ったいとしたらそれはくぐもる;
$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: 仮に「くぐもらない」ものがあるとするとこの裏取り引きは高校野球である ; $hypothesis$ = 「あの労働者派遣法が二作だしまたそれはプレスする」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＸ線源は野暮ったくない; fact16 & assump1 -> int1: このＸ線源ははしたなくないが無理無い; int1 & fact9 -> int2: あの高・大学生は売り難くない; fact22 & fact15 -> int3: あの高・大学生は売り難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＸ線源は野暮ったい; fact13 & fact25 -> int6: このＸ線源は父親らしい; int5 & int6 -> int7: このＸ線源は父親らしいし加えてそれは野暮ったい; int7 & fact17 -> int8: このＸ線源は終身保険でない; int8 & fact1 -> int9: あの労働者派遣法は二作である; fact8 & fact19 -> int10: 「あの労働者派遣法はプレスする」ということは正しい; int9 & int10 -> 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: 仮に「くぐもらない」ものがあるとするとこの裏取り引きは高校野球である

仮説: 「あの労働者派遣法が二作だしまたそれはプレスする」ということは成り立たない
1. 仮定1: 以下のように仮定する。このＸ線源は野暮ったくない
2. 事実16と仮定1から、推論1: "このＸ線源ははしたなくないが無理無い"が導かれる
3. 推論1と事実9から、推論2: "あの高・大学生は売り難くない"が導かれる
4. 事実22と事実15から、推論3: "あの高・大学生は売り難い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このＸ線源は野暮ったい"が導かれる
7. 事実13と事実25から、推論6: "このＸ線源は父親らしい"が導かれる
8. 推論5と推論6から、推論7: "このＸ線源は父親らしいし加えてそれは野暮ったい"が導かれる
9. 推論7と事実17から、推論8: "このＸ線源は終身保険でない"が導かれる
10. 推論8と事実1から、推論9: "あの労働者派遣法は二作である"が導かれる
11. 事実8と事実19から、推論10: "「あの労働者派遣法はプレスする」ということは正しい"が導かれる
12. 推論9と推論10から、仮説が否定される

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