この地下歌劇場は誇り得る
fact1: もしも「とある物は比較静学分析でその上小高い」ということは成り立たないとしたらそれは誇り得ない fact2: 仮に「あの会員・オーナーはやんごとなくない」ということは本当ならば「この地下歌劇場は比較静学分析でおまけにそれは小高い」ということは成り立たない fact3: この地下歌劇場が比較静学分析でないとするとあの会員・オーナーは誇り得るしさらにそれは小高い fact4: とあるものが甘くないがしかし彼らしいならばやんごとなくない fact5: もし仮にあの会員・オーナーが小高くないならこの地下歌劇場は誇り得る fact6: もし仮にとある物が甘くないとするとそれは燃え易いがしかしやんごとなくない fact7: もし仮にあの会員・オーナーが誇り得ないならばこの地下歌劇場は小高い fact8: もし仮に「あるものは比較静学分析であるしまたそれは燃え易い」ということは偽であるならばそれは比較静学分析でない fact9: もしもあの前提が甘くなくてしかも彼らしくないならばあの会員・オーナーは甘くない fact10: 仮に何かはやんごとないということはないとすると「それは比較静学分析でその上燃え易い」ということは成り立たない fact11: あの会員・オーナーは小高いということはない fact12: 同一基準は甘くなくて彼らしくない
fact5 & fact11 -> hypothesis;
fact5 & fact11 -> hypothesis;
この地下歌劇場は誇り得るということはない
fact17 -> int1: もし仮に「この地下歌劇場は比較静学分析でそれは小高い」ということは成り立たないとすると誇り得ない; fact14 -> int2: もしもあの会員・オーナーが甘くないとしたら燃え易いけれどやんごとなくない; fact13 -> int3: あの前提が同一基準だとすれば甘くないしそれに彼らしくない;
$facts$ = fact1: もしも「とある物は比較静学分析でその上小高い」ということは成り立たないとしたらそれは誇り得ない fact2: 仮に「あの会員・オーナーはやんごとなくない」ということは本当ならば「この地下歌劇場は比較静学分析でおまけにそれは小高い」ということは成り立たない fact3: この地下歌劇場が比較静学分析でないとするとあの会員・オーナーは誇り得るしさらにそれは小高い fact4: とあるものが甘くないがしかし彼らしいならばやんごとなくない fact5: もし仮にあの会員・オーナーが小高くないならこの地下歌劇場は誇り得る fact6: もし仮にとある物が甘くないとするとそれは燃え易いがしかしやんごとなくない fact7: もし仮にあの会員・オーナーが誇り得ないならばこの地下歌劇場は小高い fact8: もし仮に「あるものは比較静学分析であるしまたそれは燃え易い」ということは偽であるならばそれは比較静学分析でない fact9: もしもあの前提が甘くなくてしかも彼らしくないならばあの会員・オーナーは甘くない fact10: 仮に何かはやんごとないということはないとすると「それは比較静学分析でその上燃え易い」ということは成り立たない fact11: あの会員・オーナーは小高いということはない fact12: 同一基準は甘くなくて彼らしくない ; $hypothesis$ = この地下歌劇場は誇り得る ; $proof$ = 
fact5 & fact11 -> hypothesis; __PROVED__
事実1: もしも「とある物は比較静学分析でその上小高い」ということは成り立たないとしたらそれは誇り得ない
事実2: 仮に「あの会員・オーナーはやんごとなくない」ということは本当ならば「この地下歌劇場は比較静学分析でおまけにそれは小高い」ということは成り立たない
事実3: この地下歌劇場が比較静学分析でないとするとあの会員・オーナーは誇り得るしさらにそれは小高い
事実4: とあるものが甘くないがしかし彼らしいならばやんごとなくない
事実5: もし仮にあの会員・オーナーが小高くないならこの地下歌劇場は誇り得る
事実6: もし仮にとある物が甘くないとするとそれは燃え易いがしかしやんごとなくない
事実7: もし仮にあの会員・オーナーが誇り得ないならばこの地下歌劇場は小高い
事実8: もし仮に「あるものは比較静学分析であるしまたそれは燃え易い」ということは偽であるならばそれは比較静学分析でない
事実9: もしもあの前提が甘くなくてしかも彼らしくないならばあの会員・オーナーは甘くない
事実10: 仮に何かはやんごとないということはないとすると「それは比較静学分析でその上燃え易い」ということは成り立たない
事実11: あの会員・オーナーは小高いということはない
事実12: 同一基準は甘くなくて彼らしくない

仮説: この地下歌劇場は誇り得る
1. 事実5と事実11から、仮説が導かれる

よって、仮説が証明されました。