あの現代詩は理解し得るしさらに警備兵だ
fact1: 有り難し物があるならあの救急救命室は堅苦しくて警備兵だ fact2: なにがしかの物は遊芸でないとすると「それは理解し得るしおまけにそれは警備兵だ」ということは間違いだ fact3: もしこの消防本部が溢れ出さないとすればあの医科は灯し難くない fact4: 「その医科は危機管理でないか怪しい」ということは偽だとしたら悩ましい fact5: 「この消防本部は悩ましくないがしかしそれは溢れ出す」ということは偽である fact6: もし「この消防本部は悩ましくないが溢れ出す」ということは嘘であるとすると溢れ出さない fact7: 仮に「とある物はソースファイルだしその上寒々しい」ということは成り立たないなら遊芸でない fact8: その医科は日農でない fact9: 仮に何らかのものが遊芸だとするとあの現代詩は理解し得るしまた警備兵である fact10: もし仮になにがしかのものは警備兵でないとしたら「それは遊芸で更に理解し得る」ということは成り立たない fact11: もし仮にその医科は悩ましいなら「耐え難くないが溢れ出す」ということは間違いだ fact12: 「「遊芸である」ということは成り立つ」ものはある fact13: 仮にその医科は灯し難くないとすれば「ソースファイルだしおまけに寒々しかない」ということは間違いである fact14: とある物は灯し難いということはないとしたら「それはソースファイルであるし寒々しい」ということは事実と異なる fact15: 仮に何らかのものは日農でないとすれば「それは危機管理でないかもしくは怪しい」ということは間違っている
fact12 & fact9 -> hypothesis;
fact12 & fact9 -> hypothesis;
「あの現代詩は理解し得るし更にそれは警備兵である」ということは成り立たない
fact20 -> int1: あの現代詩は遊芸でないとすれば「それは理解し得るし警備兵だ」ということは誤りである; fact21 -> int2: もしも「あの現代詩はソースファイルであるしその上寒々しい」ということは嘘ならばそれは遊芸であるということはない; fact16 -> int3: もしもあの現代詩は灯し難くないとすれば「それはソースファイルだしおまけに寒々しい」ということは誤りである; fact18 -> int4: もし仮にその医科は日農であるということはないとすると「「危機管理だということはないかまたは怪しいかまたはどちらもだ」ということは事実だ」ということは成り立たない; int4 & fact19 -> int5: 「その医科は危機管理でないかもしくは怪しいかまたは両方である」ということは成り立たない; fact22 & int5 -> int6: その医科は悩ましい; fact17 & int6 -> int7: 「その医科は耐え難くないが溢れ出す」ということは間違いだ; int7 -> int8: 「「耐え難くないしそれに溢れ出す」ということは成り立たない」物はある;
$facts$ = fact1: 有り難し物があるならあの救急救命室は堅苦しくて警備兵だ fact2: なにがしかの物は遊芸でないとすると「それは理解し得るしおまけにそれは警備兵だ」ということは間違いだ fact3: もしこの消防本部が溢れ出さないとすればあの医科は灯し難くない fact4: 「その医科は危機管理でないか怪しい」ということは偽だとしたら悩ましい fact5: 「この消防本部は悩ましくないがしかしそれは溢れ出す」ということは偽である fact6: もし「この消防本部は悩ましくないが溢れ出す」ということは嘘であるとすると溢れ出さない fact7: 仮に「とある物はソースファイルだしその上寒々しい」ということは成り立たないなら遊芸でない fact8: その医科は日農でない fact9: 仮に何らかのものが遊芸だとするとあの現代詩は理解し得るしまた警備兵である fact10: もし仮になにがしかのものは警備兵でないとしたら「それは遊芸で更に理解し得る」ということは成り立たない fact11: もし仮にその医科は悩ましいなら「耐え難くないが溢れ出す」ということは間違いだ fact12: 「「遊芸である」ということは成り立つ」ものはある fact13: 仮にその医科は灯し難くないとすれば「ソースファイルだしおまけに寒々しかない」ということは間違いである fact14: とある物は灯し難いということはないとしたら「それはソースファイルであるし寒々しい」ということは事実と異なる fact15: 仮に何らかのものは日農でないとすれば「それは危機管理でないかもしくは怪しい」ということは間違っている ; $hypothesis$ = あの現代詩は理解し得るしさらに警備兵だ ; $proof$ = 
fact12 & fact9 -> hypothesis; __PROVED__
事実1: 有り難し物があるならあの救急救命室は堅苦しくて警備兵だ
事実2: なにがしかの物は遊芸でないとすると「それは理解し得るしおまけにそれは警備兵だ」ということは間違いだ
事実3: もしこの消防本部が溢れ出さないとすればあの医科は灯し難くない
事実4: 「その医科は危機管理でないか怪しい」ということは偽だとしたら悩ましい
事実5: 「この消防本部は悩ましくないがしかしそれは溢れ出す」ということは偽である
事実6: もし「この消防本部は悩ましくないが溢れ出す」ということは嘘であるとすると溢れ出さない
事実7: 仮に「とある物はソースファイルだしその上寒々しい」ということは成り立たないなら遊芸でない
事実8: その医科は日農でない
事実9: 仮に何らかのものが遊芸だとするとあの現代詩は理解し得るしまた警備兵である
事実10: もし仮になにがしかのものは警備兵でないとしたら「それは遊芸で更に理解し得る」ということは成り立たない
事実11: もし仮にその医科は悩ましいなら「耐え難くないが溢れ出す」ということは間違いだ
事実12: 「「遊芸である」ということは成り立つ」ものはある
事実13: 仮にその医科は灯し難くないとすれば「ソースファイルだしおまけに寒々しかない」ということは間違いである
事実14: とある物は灯し難いということはないとしたら「それはソースファイルであるし寒々しい」ということは事実と異なる
事実15: 仮に何らかのものは日農でないとすれば「それは危機管理でないかもしくは怪しい」ということは間違っている

仮説: あの現代詩は理解し得るしさらに警備兵だ
1. 事実12と事実9から、仮説が導かれる

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