「「もし仮に恥ずかしいとすれば「夜明かししないか兼務するということはないかあるいはどちらもだ」ということは成り立たない」物はある」ということは確かでない
fact1: あるものは正装だとすると「同門録でないかあるいはそれは馬鹿らしくない」ということは正しくない fact2: もしその逸脱が恥ずかしいとすれば夜明かししないかもしくは兼務しないかあるいはどちらもである fact3: その逸脱は恥ずかしいならば「それは夜明かししないかそれは兼務しない」ということは間違っている fact4: もしもその逸脱が恥ずかしいならば夜明かしする fact5: 「もしも恥ずかしいとしたら夜明かしする」ものはある fact6: もしその逸脱は恥ずかしいとすると「夜明かししないかあるいは兼務するかあるいは両方である」ということは真実でない fact7: 「仮に遅れ易いならば「ゴムボートであるかもしくは煩わしくないかもしくは両方ともだ」ということは偽である」物はある fact8: 「仮に恥ずかしいなら夜明かししないかまたは兼務しないかどちらもな」物はある fact9: 「もし恥ずかしいなら「夜明かししないか兼務するかまたはどちらもである」ということは成り立たない」ものはある
fact3 -> hypothesis;
「もし正装であるとしたら「同門録でないかもしくは馬鹿らしくないかあるいはどちらもである」ということは誤りである」ものはある
fact10 -> int1: 仮にこの通信光は正装であるなら「同門録でないかまたはそれは馬鹿らしくないかもしくは両方ともである」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: あるものは正装だとすると「同門録でないかあるいはそれは馬鹿らしくない」ということは正しくない fact2: もしその逸脱が恥ずかしいとすれば夜明かししないかもしくは兼務しないかあるいはどちらもである fact3: その逸脱は恥ずかしいならば「それは夜明かししないかそれは兼務しない」ということは間違っている fact4: もしもその逸脱が恥ずかしいならば夜明かしする fact5: 「もしも恥ずかしいとしたら夜明かしする」ものはある fact6: もしその逸脱は恥ずかしいとすると「夜明かししないかあるいは兼務するかあるいは両方である」ということは真実でない fact7: 「仮に遅れ易いならば「ゴムボートであるかもしくは煩わしくないかもしくは両方ともだ」ということは偽である」物はある fact8: 「仮に恥ずかしいなら夜明かししないかまたは兼務しないかどちらもな」物はある fact9: 「もし恥ずかしいなら「夜明かししないか兼務するかまたはどちらもである」ということは成り立たない」ものはある ; $hypothesis$ = 「「もし仮に恥ずかしいとすれば「夜明かししないか兼務するということはないかあるいはどちらもだ」ということは成り立たない」物はある」ということは確かでない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: あるものは正装だとすると「同門録でないかあるいはそれは馬鹿らしくない」ということは正しくない
事実2: もしその逸脱が恥ずかしいとすれば夜明かししないかもしくは兼務しないかあるいはどちらもである
事実3: その逸脱は恥ずかしいならば「それは夜明かししないかそれは兼務しない」ということは間違っている
事実4: もしもその逸脱が恥ずかしいならば夜明かしする
事実5: 「もしも恥ずかしいとしたら夜明かしする」ものはある
事実6: もしその逸脱は恥ずかしいとすると「夜明かししないかあるいは兼務するかあるいは両方である」ということは真実でない
事実7: 「仮に遅れ易いならば「ゴムボートであるかもしくは煩わしくないかもしくは両方ともだ」ということは偽である」物はある
事実8: 「仮に恥ずかしいなら夜明かししないかまたは兼務しないかどちらもな」物はある
事実9: 「もし恥ずかしいなら「夜明かししないか兼務するかまたはどちらもである」ということは成り立たない」ものはある

仮説: 「「もし仮に恥ずかしいとすれば「夜明かししないか兼務するということはないかあるいはどちらもだ」ということは成り立たない」物はある」ということは確かでない
1. 事実3から、仮説が否定される

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