あの定は平べったくない
fact1: もしも「この大集合は億劫がらないけれど労する」ということは成り立つということはないならばあの感染者は作製しない fact2: 「「ある物は喜べるかまたは十倍するかまたは両方ともだ」ということは事実だ」ということは誤りであるとすればそれは平べったい fact3: もしも「何らかのものは労する一方で作製しない」ということは誤っていれば「三十ミリメートル以上でない」ということは成り立つ fact4: その文化史は癒し難いということはないしかつ億劫がらない fact5: 「あの定は免れないかもしくはそれは六フレーム目である」ということは成り立たない fact6: もし仮に「とある物は喜べないかまたは十倍するかまたは両方である」ということは成り立たないとするとそれは平べったい fact7: あの定は折檻でない fact8: もしも「その文化史は平べったくないがしかし折檻だ」ということは偽であるならあの定は平べったくない fact9: もしなにがしかのものが合算しないとするとそれは平べったいしさらに折檻でない fact10: もしも何らかの物は合算しないとすれば「平べったくないけれど折檻である」ということは偽である fact11: この不可思議は十倍する fact12: 仮に「その文化史は代表機関でないししかも合算しない」ということは嘘であるとしたらあのヘッダー・フッター領域は合算するということはない fact13: もし仮に「あの定は喜べるかあるいはそれは十倍するかあるいは両方だ」ということは誤りであるなら「平べったい」ということは事実と異ならない fact14: もしなんらかのものは三十ミリメートル以上でないとしたら「それは代表機関だということはなくて合算しない」ということは誤っている fact15: 仮にあの定は折檻だということはないとすれば「それは喜べないかそれは十倍する」ということは成り立たない fact16: もし仮に「その大阪高裁は三十ミリメートル以上でないし代表機関でない」ということは誤りでないとしたらその文化史は合算しない fact17: 仮に何らかの物は癒し難いなら「それは億劫がらなくて更にそれは労する」ということは成り立たない fact18: もしもなにかは億劫がらないならば「それは労するし作製しない」ということは成り立たない
fact6 -> int1: もし仮に「あの定は喜べないかもしくはそれは十倍する」ということは成り立たないなら平べったい; fact15 & fact7 -> int2: 「あの定は喜べないかまたは十倍するかまたは両方ともである」ということは間違っている; int1 & int2 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact15 & fact7 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> hypothesis;
あのヘッダー・フッター領域は折檻でない
fact22 -> int3: もし仮にあのヘッダー・フッター領域が合算するということはないとすれば平べったいしそれは折檻でない; fact19 -> int4: もしもその文化史は三十ミリメートル以上でないならば「それは代表機関であるということはないし合算しない」ということは成り立たない; fact20 -> int5: 「その文化史は労するけどそれは作製しない」ということは事実と異なるとすると三十ミリメートル以上でない; fact21 -> int6: もしもその文化史は億劫がらないとすれば「労するけれど作製しない」ということは誤っている; fact23 -> int7: その文化史は億劫がらない; int6 & int7 -> int8: 「その文化史は労するけれど作製しない」ということは誤っている; int5 & int8 -> int9: その文化史は三十ミリメートル以上でない; int4 & int9 -> int10: 「その文化史は代表機関でないし合算しない」ということは偽である; fact24 & int10 -> int11: あのヘッダー・フッター領域は合算するということはない; int3 & int11 -> int12: あのヘッダー・フッター領域は平べったいけれど折檻でない; int12 -> hypothesis;
$facts$ = fact1: もしも「この大集合は億劫がらないけれど労する」ということは成り立つということはないならばあの感染者は作製しない fact2: 「「ある物は喜べるかまたは十倍するかまたは両方ともだ」ということは事実だ」ということは誤りであるとすればそれは平べったい fact3: もしも「何らかのものは労する一方で作製しない」ということは誤っていれば「三十ミリメートル以上でない」ということは成り立つ fact4: その文化史は癒し難いということはないしかつ億劫がらない fact5: 「あの定は免れないかもしくはそれは六フレーム目である」ということは成り立たない fact6: もし仮に「とある物は喜べないかまたは十倍するかまたは両方である」ということは成り立たないとするとそれは平べったい fact7: あの定は折檻でない fact8: もしも「その文化史は平べったくないがしかし折檻だ」ということは偽であるならあの定は平べったくない fact9: もしなにがしかのものが合算しないとするとそれは平べったいしさらに折檻でない fact10: もしも何らかの物は合算しないとすれば「平べったくないけれど折檻である」ということは偽である fact11: この不可思議は十倍する fact12: 仮に「その文化史は代表機関でないししかも合算しない」ということは嘘であるとしたらあのヘッダー・フッター領域は合算するということはない fact13: もし仮に「あの定は喜べるかあるいはそれは十倍するかあるいは両方だ」ということは誤りであるなら「平べったい」ということは事実と異ならない fact14: もしなんらかのものは三十ミリメートル以上でないとしたら「それは代表機関だということはなくて合算しない」ということは誤っている fact15: 仮にあの定は折檻だということはないとすれば「それは喜べないかそれは十倍する」ということは成り立たない fact16: もし仮に「その大阪高裁は三十ミリメートル以上でないし代表機関でない」ということは誤りでないとしたらその文化史は合算しない fact17: 仮に何らかの物は癒し難いなら「それは億劫がらなくて更にそれは労する」ということは成り立たない fact18: もしもなにかは億劫がらないならば「それは労するし作製しない」ということは成り立たない ; $hypothesis$ = あの定は平べったくない ; $proof$ = 
fact6 -> int1: もし仮に「あの定は喜べないかもしくはそれは十倍する」ということは成り立たないなら平べったい; fact15 & fact7 -> int2: 「あの定は喜べないかまたは十倍するかまたは両方ともである」ということは間違っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「この大集合は億劫がらないけれど労する」ということは成り立つということはないならばあの感染者は作製しない
事実2: 「「ある物は喜べるかまたは十倍するかまたは両方ともだ」ということは事実だ」ということは誤りであるとすればそれは平べったい
事実3: もしも「何らかのものは労する一方で作製しない」ということは誤っていれば「三十ミリメートル以上でない」ということは成り立つ
事実4: その文化史は癒し難いということはないしかつ億劫がらない
事実5: 「あの定は免れないかもしくはそれは六フレーム目である」ということは成り立たない
事実6: もし仮に「とある物は喜べないかまたは十倍するかまたは両方である」ということは成り立たないとするとそれは平べったい
事実7: あの定は折檻でない
事実8: もしも「その文化史は平べったくないがしかし折檻だ」ということは偽であるならあの定は平べったくない
事実9: もしなにがしかのものが合算しないとするとそれは平べったいしさらに折檻でない
事実10: もしも何らかの物は合算しないとすれば「平べったくないけれど折檻である」ということは偽である
事実11: この不可思議は十倍する
事実12: 仮に「その文化史は代表機関でないししかも合算しない」ということは嘘であるとしたらあのヘッダー・フッター領域は合算するということはない
事実13: もし仮に「あの定は喜べるかあるいはそれは十倍するかあるいは両方だ」ということは誤りであるなら「平べったい」ということは事実と異ならない
事実14: もしなんらかのものは三十ミリメートル以上でないとしたら「それは代表機関だということはなくて合算しない」ということは誤っている
事実15: 仮にあの定は折檻だということはないとすれば「それは喜べないかそれは十倍する」ということは成り立たない
事実16: もし仮に「その大阪高裁は三十ミリメートル以上でないし代表機関でない」ということは誤りでないとしたらその文化史は合算しない
事実17: 仮に何らかの物は癒し難いなら「それは億劫がらなくて更にそれは労する」ということは成り立たない
事実18: もしもなにかは億劫がらないならば「それは労するし作製しない」ということは成り立たない

仮説: あの定は平べったくない
1. 事実6から、推論1: "もし仮に「あの定は喜べないかもしくはそれは十倍する」ということは成り立たないなら平べったい"が導かれる
2. 事実15と事実7から、推論2: "「あの定は喜べないかまたは十倍するかまたは両方ともである」ということは間違っている"が導かれる
3. 推論1と推論2から、仮説が否定される

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