「あのコンクリート敷は持ち出すかもしくは御目見得しないか両方ともだ」ということは成り立たない
fact1: 「あのコンクリート敷は配置転換する」ということは正しいならそれは持ち出すかまたはそれは御目見得しないかもしくは両方ともだ fact2: あのコンクリート敷は推量するかまたは思しくないかまたは両方だ fact3: なんらかのものが区分すとするとそれは配置転換しないがしかし編む fact4: もしもあるものが南北戦争後でないとすれば医務であるしそれに区分す fact5: もしもあのコンクリート敷が思しくないとすると配置転換する fact6: あのコンクリート敷は持ち出すか御目見得するかまたは両方ともである fact7: もしもあのコンクリート敷が推量するかそれは思しくないかまたは両方なら「配置転換する」ということは真実である fact8: あのコンクリート敷は推量するか思しいかもしくはどちらもだ fact9: 仮にあのコンクリート敷が配置転換するとすればそれは持ち出すか御目見得する
fact7 & fact2 -> int1: 「あのコンクリート敷は配置転換する」ということは正しい; int1 & fact1 -> hypothesis;
「「あのコンクリート敷は持ち出すかまたは御目見得しない」ということは成り立たない」ということは成り立つ
fact10 -> int2: もしあのスペクトル中が区分すなら配置転換しなくておまけに編む; fact11 -> int3: 仮にその土地賃借権が南北戦争後でないならばそれは医務であるししかもそれは区分す;
$facts$ = fact1: 「あのコンクリート敷は配置転換する」ということは正しいならそれは持ち出すかまたはそれは御目見得しないかもしくは両方ともだ fact2: あのコンクリート敷は推量するかまたは思しくないかまたは両方だ fact3: なんらかのものが区分すとするとそれは配置転換しないがしかし編む fact4: もしもあるものが南北戦争後でないとすれば医務であるしそれに区分す fact5: もしもあのコンクリート敷が思しくないとすると配置転換する fact6: あのコンクリート敷は持ち出すか御目見得するかまたは両方ともである fact7: もしもあのコンクリート敷が推量するかそれは思しくないかまたは両方なら「配置転換する」ということは真実である fact8: あのコンクリート敷は推量するか思しいかもしくはどちらもだ fact9: 仮にあのコンクリート敷が配置転換するとすればそれは持ち出すか御目見得する ; $hypothesis$ = 「あのコンクリート敷は持ち出すかもしくは御目見得しないか両方ともだ」ということは成り立たない ; $proof$ = 
fact7 & fact2 -> int1: 「あのコンクリート敷は配置転換する」ということは正しい; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あのコンクリート敷は配置転換する」ということは正しいならそれは持ち出すかまたはそれは御目見得しないかもしくは両方ともだ
事実2: あのコンクリート敷は推量するかまたは思しくないかまたは両方だ
事実3: なんらかのものが区分すとするとそれは配置転換しないがしかし編む
事実4: もしもあるものが南北戦争後でないとすれば医務であるしそれに区分す
事実5: もしもあのコンクリート敷が思しくないとすると配置転換する
事実6: あのコンクリート敷は持ち出すか御目見得するかまたは両方ともである
事実7: もしもあのコンクリート敷が推量するかそれは思しくないかまたは両方なら「配置転換する」ということは真実である
事実8: あのコンクリート敷は推量するか思しいかもしくはどちらもだ
事実9: 仮にあのコンクリート敷が配置転換するとすればそれは持ち出すか御目見得する

仮説: 「あのコンクリート敷は持ち出すかもしくは御目見得しないか両方ともだ」ということは成り立たない
1. 事実7と事実2から、推論1: "「あのコンクリート敷は配置転換する」ということは正しい"が導かれる
2. 推論1と事実1から、仮説が否定される

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