「このアルバイト雇用が直り難いしその上五十五年度だ」ということは成り立たない
fact1: この全学連運動はほったらかすしかつ食す fact2: もし仮にあるものが軽量化しないとすると取り引き継続であるということはない fact3: 「その母子福祉センターが算数教育だしその上それは嫁入りする」ということは成り立たない fact4: もし仮にあの発生中期は食すならば「あのサラダ油は食す」ということは成り立つ fact5: もし仮にあのサラダ油が流浪しないがそれが食すならばあの会員組織は軽量化する fact6: この全学連運動が直り難いならばこのアルバイト雇用はほったらかす fact7: この事業所限定職は五十五年度でなくてそれは判別し難くない fact8: もし仮にとある物が軽量化しないとすればほったらかさないし取り引き継続でない fact9: もし仮にある物が軽量化するなら直り難くない fact10: 仮にこの全学連運動は軽量化するとしたら「このアルバイト雇用は五十五年度だ」ということは成り立つ fact11: もしも「「算数教育であるしさらに嫁入りする」ということは成り立たない」物があるとすればあのサラダ油は流浪しない fact12: もしもあの会員組織が食すないとするとこのアルバイト雇用は五十五年度でなくてそれは直り難いということはない fact13: そのスロットは取り引き継続である fact14: このアルバイト雇用は直り難い fact15: 仮にこのアルバイト雇用が五十五年度でないとしたらこの処理法は軽量化するしそれはほったらかす
fact8 -> int1: もし仮にこの全学連運動が軽量化しないならそれはほったらかさないしそれに取り引き継続でない; void -> assump1: 以下のように仮定する。この全学連運動は軽量化しない; int1 & assump1 -> int2: この全学連運動はほったらかさないし加えて取り引き継続でない; int2 -> int3: この全学連運動はほったらかさない; fact1 -> int4: 「この全学連運動はほったらかす」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この全学連運動は軽量化する」ということは成り立つ; int6 & fact10 -> int7: このアルバイト雇用は五十五年度だ; int7 & fact14 -> hypothesis;
この処理法はほったらかす
$facts$ = fact1: この全学連運動はほったらかすしかつ食す fact2: もし仮にあるものが軽量化しないとすると取り引き継続であるということはない fact3: 「その母子福祉センターが算数教育だしその上それは嫁入りする」ということは成り立たない fact4: もし仮にあの発生中期は食すならば「あのサラダ油は食す」ということは成り立つ fact5: もし仮にあのサラダ油が流浪しないがそれが食すならばあの会員組織は軽量化する fact6: この全学連運動が直り難いならばこのアルバイト雇用はほったらかす fact7: この事業所限定職は五十五年度でなくてそれは判別し難くない fact8: もし仮にとある物が軽量化しないとすればほったらかさないし取り引き継続でない fact9: もし仮にある物が軽量化するなら直り難くない fact10: 仮にこの全学連運動は軽量化するとしたら「このアルバイト雇用は五十五年度だ」ということは成り立つ fact11: もしも「「算数教育であるしさらに嫁入りする」ということは成り立たない」物があるとすればあのサラダ油は流浪しない fact12: もしもあの会員組織が食すないとするとこのアルバイト雇用は五十五年度でなくてそれは直り難いということはない fact13: そのスロットは取り引き継続である fact14: このアルバイト雇用は直り難い fact15: 仮にこのアルバイト雇用が五十五年度でないとしたらこの処理法は軽量化するしそれはほったらかす ; $hypothesis$ = 「このアルバイト雇用が直り難いしその上五十五年度だ」ということは成り立たない ; $proof$ = 
fact8 -> int1: もし仮にこの全学連運動が軽量化しないならそれはほったらかさないしそれに取り引き継続でない; void -> assump1: 以下のように仮定する。この全学連運動は軽量化しない; int1 & assump1 -> int2: この全学連運動はほったらかさないし加えて取り引き継続でない; int2 -> int3: この全学連運動はほったらかさない; fact1 -> int4: 「この全学連運動はほったらかす」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この全学連運動は軽量化する」ということは成り立つ; int6 & fact10 -> int7: このアルバイト雇用は五十五年度だ; int7 & fact14 -> hypothesis; __DISPROVED__
事実1: この全学連運動はほったらかすしかつ食す
事実2: もし仮にあるものが軽量化しないとすると取り引き継続であるということはない
事実3: 「その母子福祉センターが算数教育だしその上それは嫁入りする」ということは成り立たない
事実4: もし仮にあの発生中期は食すならば「あのサラダ油は食す」ということは成り立つ
事実5: もし仮にあのサラダ油が流浪しないがそれが食すならばあの会員組織は軽量化する
事実6: この全学連運動が直り難いならばこのアルバイト雇用はほったらかす
事実7: この事業所限定職は五十五年度でなくてそれは判別し難くない
事実8: もし仮にとある物が軽量化しないとすればほったらかさないし取り引き継続でない
事実9: もし仮にある物が軽量化するなら直り難くない
事実10: 仮にこの全学連運動は軽量化するとしたら「このアルバイト雇用は五十五年度だ」ということは成り立つ
事実11: もしも「「算数教育であるしさらに嫁入りする」ということは成り立たない」物があるとすればあのサラダ油は流浪しない
事実12: もしもあの会員組織が食すないとするとこのアルバイト雇用は五十五年度でなくてそれは直り難いということはない
事実13: そのスロットは取り引き継続である
事実14: このアルバイト雇用は直り難い
事実15: 仮にこのアルバイト雇用が五十五年度でないとしたらこの処理法は軽量化するしそれはほったらかす

仮説: 「このアルバイト雇用が直り難いしその上五十五年度だ」ということは成り立たない
1. 事実8から、推論1: "もし仮にこの全学連運動が軽量化しないならそれはほったらかさないしそれに取り引き継続でない"が導かれる
2. 仮定1: 以下のように仮定する。この全学連運動は軽量化しない
3. 推論1と仮定1から、推論2: "この全学連運動はほったらかさないし加えて取り引き継続でない"が導かれる
4. 推論2から、推論3: "この全学連運動はほったらかさない"が導かれる
5. 事実1から、推論4: "「この全学連運動はほったらかす」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この全学連運動は軽量化する」ということは成り立つ"が導かれる
8. 推論6と事実10から、推論7: "このアルバイト雇用は五十五年度だ"が導かれる
9. 推論7と事実14から、仮説が否定される

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