その帝紀は空しかない
fact1: もし「そのエステティシャンは同病であるかもしくは合わないかまたはどちらもだ」ということは成り立たないならばそれは避け難くない fact2: 仮にそのエステティシャンが喧しいが避け難くないならばその帝紀は空しかない fact3: 「そのエステティシャンは同病であるかまたは合うということはない」ということは間違いだ fact4: そのエステティシャンは空しいということはない fact5: もしもそのエステティシャンが避け難くないとすればあの帝紀は空しい fact6: もしなんらかのものが御試し下さるとすればそれは喧しくないししかも避け難くない fact7: このコーナーピンは同病でない fact8: 仮に「「そのエステティシャンは同病であるかあるいはそれは合うかもしくはどちらもである」ということは真実だ」ということは確かでないとすれば避け難くない fact9: そのエステティシャンは合う
fact1 & fact3 -> int1: そのエステティシャンは避け難くない; int1 & fact5 -> hypothesis;
その帝紀は空しいということはない
fact10 -> int2: そのエステティシャンが御試し下さるとすればそれが喧しくないしさらにそれは避け難くない;
$facts$ = fact1: もし「そのエステティシャンは同病であるかもしくは合わないかまたはどちらもだ」ということは成り立たないならばそれは避け難くない fact2: 仮にそのエステティシャンが喧しいが避け難くないならばその帝紀は空しかない fact3: 「そのエステティシャンは同病であるかまたは合うということはない」ということは間違いだ fact4: そのエステティシャンは空しいということはない fact5: もしもそのエステティシャンが避け難くないとすればあの帝紀は空しい fact6: もしなんらかのものが御試し下さるとすればそれは喧しくないししかも避け難くない fact7: このコーナーピンは同病でない fact8: 仮に「「そのエステティシャンは同病であるかあるいはそれは合うかもしくはどちらもである」ということは真実だ」ということは確かでないとすれば避け難くない fact9: そのエステティシャンは合う ; $hypothesis$ = その帝紀は空しかない ; $proof$ = 
fact1 & fact3 -> int1: そのエステティシャンは避け難くない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「そのエステティシャンは同病であるかもしくは合わないかまたはどちらもだ」ということは成り立たないならばそれは避け難くない
事実2: 仮にそのエステティシャンが喧しいが避け難くないならばその帝紀は空しかない
事実3: 「そのエステティシャンは同病であるかまたは合うということはない」ということは間違いだ
事実4: そのエステティシャンは空しいということはない
事実5: もしもそのエステティシャンが避け難くないとすればあの帝紀は空しい
事実6: もしなんらかのものが御試し下さるとすればそれは喧しくないししかも避け難くない
事実7: このコーナーピンは同病でない
事実8: 仮に「「そのエステティシャンは同病であるかあるいはそれは合うかもしくはどちらもである」ということは真実だ」ということは確かでないとすれば避け難くない
事実9: そのエステティシャンは合う

仮説: その帝紀は空しかない
1. 事実1と事実3から、推論1: "そのエステティシャンは避け難くない"が導かれる
2. 推論1と事実5から、仮説が否定される

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