このビアホールは眠い
fact1: 仮に「あの西高東低は触媒であるし更に箪笥だ」ということは誤っているとしたら「このビアホールは箪笥でない」ということは本当だ fact2: もし仮になんらかのものが撤退するとすれば眠くない fact3: もし仮にこのビアホールが専門特化するとすればそれは箪笥でない fact4: この御役所は箪笥だ fact5: もし仮に「「眠くない」ということは確かである」物があるならこのビアホールは草臥れ切る fact6: 「撤退しない」ものはある fact7: 仮に触媒が箪笥ならそれは眠い fact8: もし仮に触媒が箪笥だということはないとしたらそれは眠い fact9: このビアホールは箪笥でない fact10: もし仮にこのビアホールが使用し難いとすればそれは撤退するしかつ体温でない fact11: なんらかの物が撤退するということはないとすればこのビアホールは専門特化する fact12: なにがしかの物が専門特化するとすれば触媒である一方で箪笥でない fact13: もし仮になんらかの物が専門特化するとすると箪笥でない fact14: もし仮にこの天気予報は上掲書でないとすると「あの西高東低は触媒でまた箪笥だ」ということは誤っている
fact6 & fact11 -> int1: 「このビアホールは専門特化する」ということは嘘でない; fact12 -> int2: もし仮にこのビアホールが専門特化すれば触媒だしさらにそれは箪笥でない; int1 & int2 -> int3: このビアホールは触媒であるけれど箪笥でない; fact8 -> int4: 仮にこのビアホールは触媒だけれど箪笥でないとすればそれは眠い; int3 & int4 -> hypothesis;
このビアホールは眠くない
fact15 -> int5: もしこのビアホールが撤退すればそれは眠くない;
$facts$ = fact1: 仮に「あの西高東低は触媒であるし更に箪笥だ」ということは誤っているとしたら「このビアホールは箪笥でない」ということは本当だ fact2: もし仮になんらかのものが撤退するとすれば眠くない fact3: もし仮にこのビアホールが専門特化するとすればそれは箪笥でない fact4: この御役所は箪笥だ fact5: もし仮に「「眠くない」ということは確かである」物があるならこのビアホールは草臥れ切る fact6: 「撤退しない」ものはある fact7: 仮に触媒が箪笥ならそれは眠い fact8: もし仮に触媒が箪笥だということはないとしたらそれは眠い fact9: このビアホールは箪笥でない fact10: もし仮にこのビアホールが使用し難いとすればそれは撤退するしかつ体温でない fact11: なんらかの物が撤退するということはないとすればこのビアホールは専門特化する fact12: なにがしかの物が専門特化するとすれば触媒である一方で箪笥でない fact13: もし仮になんらかの物が専門特化するとすると箪笥でない fact14: もし仮にこの天気予報は上掲書でないとすると「あの西高東低は触媒でまた箪笥だ」ということは誤っている ; $hypothesis$ = このビアホールは眠い ; $proof$ = 
fact6 & fact11 -> int1: 「このビアホールは専門特化する」ということは嘘でない; fact12 -> int2: もし仮にこのビアホールが専門特化すれば触媒だしさらにそれは箪笥でない; int1 & int2 -> int3: このビアホールは触媒であるけれど箪笥でない; fact8 -> int4: 仮にこのビアホールは触媒だけれど箪笥でないとすればそれは眠い; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に「あの西高東低は触媒であるし更に箪笥だ」ということは誤っているとしたら「このビアホールは箪笥でない」ということは本当だ
事実2: もし仮になんらかのものが撤退するとすれば眠くない
事実3: もし仮にこのビアホールが専門特化するとすればそれは箪笥でない
事実4: この御役所は箪笥だ
事実5: もし仮に「「眠くない」ということは確かである」物があるならこのビアホールは草臥れ切る
事実6: 「撤退しない」ものはある
事実7: 仮に触媒が箪笥ならそれは眠い
事実8: もし仮に触媒が箪笥だということはないとしたらそれは眠い
事実9: このビアホールは箪笥でない
事実10: もし仮にこのビアホールが使用し難いとすればそれは撤退するしかつ体温でない
事実11: なんらかの物が撤退するということはないとすればこのビアホールは専門特化する
事実12: なにがしかの物が専門特化するとすれば触媒である一方で箪笥でない
事実13: もし仮になんらかの物が専門特化するとすると箪笥でない
事実14: もし仮にこの天気予報は上掲書でないとすると「あの西高東低は触媒でまた箪笥だ」ということは誤っている

仮説: このビアホールは眠い
1. 事実6と事実11から、推論1: "「このビアホールは専門特化する」ということは嘘でない"が導かれる
2. 事実12から、推論2: "もし仮にこのビアホールが専門特化すれば触媒だしさらにそれは箪笥でない"が導かれる
3. 推論1と推論2から、推論3: "このビアホールは触媒であるけれど箪笥でない"が導かれる
4. 事実8から、推論4: "仮にこのビアホールは触媒だけれど箪笥でないとすればそれは眠い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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