「「植民地化であるかもしくは破くかもしくは両方ともな」ものはある」ということは偽である
fact1: もしも「あの屋内は相矛盾する一方でそれは誘導しない」ということは成り立たないとしたら「あの二千三年後半は誘導しない」ということは成り立つ fact2: なにがしかの物は破くとすれば「久し」ということは真実である fact3: もしもなんらかの物が誘導しないとすればそれは移せない fact4: 「下ろし方であるか伸びる」ものはある fact5: ある物は熱苦しいかもしくは分析・評価する fact6: もしあの二千三年後半が移せないかまたはトリムするということはないかもしくはどちらもであるならあの手術器具は移せる fact7: あの手術器具は捕まえ易いかもしくは植民地化である fact8: 「ある物は達成し得るかもしくはそれは戦う」ということは間違っていない fact9: あの手術器具は久し fact10: 「久しか破くかもしくは両方である」ものはある fact11: あの二千三年後半はアンチョビペーストである fact12: もしもあの手術器具が久しとするとあの二千三年後半は破く fact13: あの過剰発現は馴染み難い fact14: あの二千三年後半は植民地化であるかもしくはそれは通せん坊するかもしくは両方だ fact15: もしもあの手術器具が植民地化ならばあの二千三年後半は久し fact16: あの手術器具は破くとすれば「あの二千三年後半は久し」ということは確かである fact17: 「破くかまたは久しかもしくは両方ともな」物はある fact18: もしこの低体温は不当利得論でないとすると「あの屋内は相矛盾する一方でそれは誘導しない」ということは確かでない fact19: あの二千三年後半は作製する fact20: 仮になんらかのものは移せるとすると「それは植民地化でない」ということは正しい fact21: もしもあの二千三年後半は久しならば「あの手術器具は破く」ということは真実だ
fact12 & fact9 -> int1: あの二千三年後半は破く; int1 -> int2: あの二千三年後半は植民地化であるかもしくはそれは破くかどちらもである; int2 -> hypothesis;
その不動産は久し
fact26 -> int3: 仮にその不動産が破くとすれば久し; fact23 -> int4: もし仮にあの手術器具が移せるとするとそれは植民地化であるということはない; fact24 -> int5: もしもあの二千三年後半が誘導するということはないとしたら移せない;
$facts$ = fact1: もしも「あの屋内は相矛盾する一方でそれは誘導しない」ということは成り立たないとしたら「あの二千三年後半は誘導しない」ということは成り立つ fact2: なにがしかの物は破くとすれば「久し」ということは真実である fact3: もしもなんらかの物が誘導しないとすればそれは移せない fact4: 「下ろし方であるか伸びる」ものはある fact5: ある物は熱苦しいかもしくは分析・評価する fact6: もしあの二千三年後半が移せないかまたはトリムするということはないかもしくはどちらもであるならあの手術器具は移せる fact7: あの手術器具は捕まえ易いかもしくは植民地化である fact8: 「ある物は達成し得るかもしくはそれは戦う」ということは間違っていない fact9: あの手術器具は久し fact10: 「久しか破くかもしくは両方である」ものはある fact11: あの二千三年後半はアンチョビペーストである fact12: もしもあの手術器具が久しとするとあの二千三年後半は破く fact13: あの過剰発現は馴染み難い fact14: あの二千三年後半は植民地化であるかもしくはそれは通せん坊するかもしくは両方だ fact15: もしもあの手術器具が植民地化ならばあの二千三年後半は久し fact16: あの手術器具は破くとすれば「あの二千三年後半は久し」ということは確かである fact17: 「破くかまたは久しかもしくは両方ともな」物はある fact18: もしこの低体温は不当利得論でないとすると「あの屋内は相矛盾する一方でそれは誘導しない」ということは確かでない fact19: あの二千三年後半は作製する fact20: 仮になんらかのものは移せるとすると「それは植民地化でない」ということは正しい fact21: もしもあの二千三年後半は久しならば「あの手術器具は破く」ということは真実だ ; $hypothesis$ = 「「植民地化であるかもしくは破くかもしくは両方ともな」ものはある」ということは偽である ; $proof$ = 
fact12 & fact9 -> int1: あの二千三年後半は破く; int1 -> int2: あの二千三年後半は植民地化であるかもしくはそれは破くかどちらもである; int2 -> hypothesis; __DISPROVED__
事実1: もしも「あの屋内は相矛盾する一方でそれは誘導しない」ということは成り立たないとしたら「あの二千三年後半は誘導しない」ということは成り立つ
事実2: なにがしかの物は破くとすれば「久し」ということは真実である
事実3: もしもなんらかの物が誘導しないとすればそれは移せない
事実4: 「下ろし方であるか伸びる」ものはある
事実5: ある物は熱苦しいかもしくは分析・評価する
事実6: もしあの二千三年後半が移せないかまたはトリムするということはないかもしくはどちらもであるならあの手術器具は移せる
事実7: あの手術器具は捕まえ易いかもしくは植民地化である
事実8: 「ある物は達成し得るかもしくはそれは戦う」ということは間違っていない
事実9: あの手術器具は久し
事実10: 「久しか破くかもしくは両方である」ものはある
事実11: あの二千三年後半はアンチョビペーストである
事実12: もしもあの手術器具が久しとするとあの二千三年後半は破く
事実13: あの過剰発現は馴染み難い
事実14: あの二千三年後半は植民地化であるかもしくはそれは通せん坊するかもしくは両方だ
事実15: もしもあの手術器具が植民地化ならばあの二千三年後半は久し
事実16: あの手術器具は破くとすれば「あの二千三年後半は久し」ということは確かである
事実17: 「破くかまたは久しかもしくは両方ともな」物はある
事実18: もしこの低体温は不当利得論でないとすると「あの屋内は相矛盾する一方でそれは誘導しない」ということは確かでない
事実19: あの二千三年後半は作製する
事実20: 仮になんらかのものは移せるとすると「それは植民地化でない」ということは正しい
事実21: もしもあの二千三年後半は久しならば「あの手術器具は破く」ということは真実だ

仮説: 「「植民地化であるかもしくは破くかもしくは両方ともな」ものはある」ということは偽である
1. 事実12と事実9から、推論1: "あの二千三年後半は破く"が導かれる
2. 推論1から、推論2: "あの二千三年後半は植民地化であるかもしくはそれは破くかどちらもである"が導かれる
3. 推論2から、仮説が否定される

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