あの故地はばらさない
fact1: 「あの粉屋はＳＬＥであるししかも当たり易い」ということは偽だ fact2: 当たり易いものは再軍備する fact3: あの粉屋は境界条件であるということはない fact4: もしあの粉屋がばらさないならあの故地は再軍備する fact5: 「あの粉屋は当たり易いけれどそれは狙い易くない」ということは誤りである fact6: もし「あのオルドー自由主義者達は法悦であるしそれは二位尼である」ということは嘘であるとすればあの故地は法悦でない fact7: あの粉屋が狙い易くないならばその心線対照試験は狙い易くてそれは境界条件である fact8: 仮にその心線対照試験が狡っ辛いとすればあの故地はばらす fact9: この地中海東岸は庶民教育でないとすれば「その心線対照試験は泳ぎ回るということはないししかも草木でない」ということは間違っている fact10: もし仮にあの粉屋が狡っ辛くないならその心線対照試験は境界条件だ fact11: もしなにかは法悦でないとしたらそれは当たり易いし更に住み良い fact12: もし仮にあの粉屋が狙い易いとするとあの故地は境界条件であるけど狡っ辛くない fact13: あの粉屋は制定する fact14: この地中海東岸は庶民教育でない fact15: もし「あの粉屋は当たり易いけれど狙い易くない」ということは間違っているとすればそれは再軍備しない fact16: もし仮にあの粉屋が狡っ辛くないとすればその心線対照試験は狡っ辛い境界条件だ fact17: もしもあの粉屋が狡っ辛いとすると再軍備する fact18: 「その心線対照試験が狡っ辛いならその心線対照試験は狙い易い」ということは真実だ fact19: この他府県は境界条件でない fact20: もし仮にあの粉屋が境界条件でないとすればその心線対照試験は境界条件で当たり易い fact21: もし狡っ辛くないものが再軍備するならばらさない fact22: 仮に「その心線対照試験は泳ぎ回らなくてかつ草木でない」ということは成り立たないならそれは狙い易い fact23: もし仮にあの粉屋は狙い易いとすれば「それは再軍備しない」ということは正しい fact24: その心線対照試験はばらすということはない
void -> assump1: 以下のように仮定する。あの粉屋は狡っ辛い; fact17 & assump1 -> int1: あの粉屋は再軍備する; fact5 & fact15 -> int2: あの粉屋は再軍備するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの粉屋は狡っ辛いということはない; int4 & fact16 -> int5: その心線対照試験は狡っ辛いし境界条件だ; int5 -> int6: その心線対照試験は狡っ辛い; int6 & fact8 -> hypothesis;
あの故地はばらさない
fact31 -> int7: 仮にあの故地は狡っ辛くないけれど再軍備するとしたらそれはばらさない; fact27 & fact32 -> int8: 「その心線対照試験は泳ぎ回らないし草木でない」ということは誤りである; fact28 & int8 -> int9: その心線対照試験は狙い易い; fact29 -> int10: もしあの故地が当たり易いとしたらそれは再軍備する; fact30 -> 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: その心線対照試験はばらすということはない ; $hypothesis$ = あの故地はばらさない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの粉屋は狡っ辛い; fact17 & assump1 -> int1: あの粉屋は再軍備する; fact5 & fact15 -> int2: あの粉屋は再軍備するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの粉屋は狡っ辛いということはない; int4 & fact16 -> int5: その心線対照試験は狡っ辛いし境界条件だ; int5 -> int6: その心線対照試験は狡っ辛い; int6 & fact8 -> 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: その心線対照試験はばらすということはない

仮説: あの故地はばらさない
1. 仮定1: 以下のように仮定する。あの粉屋は狡っ辛い
2. 事実17と仮定1から、推論1: "あの粉屋は再軍備する"が導かれる
3. 事実5と事実15から、推論2: "あの粉屋は再軍備するということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの粉屋は狡っ辛いということはない"が導かれる
6. 推論4と事実16から、推論5: "その心線対照試験は狡っ辛いし境界条件だ"が導かれる
7. 推論5から、推論6: "その心線対照試験は狡っ辛い"が導かれる
8. 推論6と事実8から、仮説が否定される

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