「この小字講堂建物は恥ずかしないかまたはそれは手掛かり無しである」ということは成り立つということはない
fact1: この小字講堂建物は恥ずかしないか手掛かり無しであるか両方ともだ fact2: 仮に何らかのものが地球規模でないとするとそれは遣り易くないかそれは恥ずかしか両方ともだ fact3: この小字講堂建物は御月さんでないかあるいはそれは惜しいかもしくは両方ともである fact4: この小字講堂建物は小高いかあるいは起立時であるかまたは両方ともである fact5: 仮に「とある物は錯誤するしそれは地球規模である」ということは成り立たないとすれば「地球規模だということはない」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
この小字講堂建物は遣り易くないかもしくはそれは恥ずかし
fact6 -> int1: もしこの小字講堂建物は地球規模でないとするとそれは遣り易くないかあるいは恥ずかしかまたはどちらもだ; fact7 -> int2: 仮に「この小字講堂建物は錯誤するし地球規模だ」ということは間違いだとしたら地球規模でない;
$facts$ = fact1: この小字講堂建物は恥ずかしないか手掛かり無しであるか両方ともだ fact2: 仮に何らかのものが地球規模でないとするとそれは遣り易くないかそれは恥ずかしか両方ともだ fact3: この小字講堂建物は御月さんでないかあるいはそれは惜しいかもしくは両方ともである fact4: この小字講堂建物は小高いかあるいは起立時であるかまたは両方ともである fact5: 仮に「とある物は錯誤するしそれは地球規模である」ということは成り立たないとすれば「地球規模だということはない」ということは成り立つ ; $hypothesis$ = 「この小字講堂建物は恥ずかしないかまたはそれは手掛かり無しである」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この小字講堂建物は恥ずかしないか手掛かり無しであるか両方ともだ
事実2: 仮に何らかのものが地球規模でないとするとそれは遣り易くないかそれは恥ずかしか両方ともだ
事実3: この小字講堂建物は御月さんでないかあるいはそれは惜しいかもしくは両方ともである
事実4: この小字講堂建物は小高いかあるいは起立時であるかまたは両方ともである
事実5: 仮に「とある物は錯誤するしそれは地球規模である」ということは成り立たないとすれば「地球規模だということはない」ということは成り立つ

仮説: 「この小字講堂建物は恥ずかしないかまたはそれは手掛かり無しである」ということは成り立つということはない
1. 事実1から、仮説が否定される

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