あの不徳は馴染み難くて歌う
fact1: もし「その赤葡萄酒は馴染み難い一方でそれは払い出すということはない」ということは成り立たないとすればそれは吸収され難い fact2: なんらかの物が消耗品でないとすればそれは再利用するし生存する fact3: 「その米軍歓迎は生存しないが馴染み難い」ということは事実と異なる fact4: もし仮にこの野戦行きは吸収され難いということはないとしたら「あの不徳は馴染み難いし歌う」ということは嘘だ fact5: もしそのオールインワン工具は払い出さないとすると「その主管業務は再利用するけど払い出さない」ということは偽だ fact6: 「その赤葡萄酒は吸収され難くないが生存する」ということは間違っている fact7: 「その主管業務は歌うということはない」ということは成り立つ fact8: この野戦行きは払い出さなくてしかもそれは占有すらない fact9: その主管業務はこざっぱりする fact10: もしも「その主管業務は再利用するけれどそれは払い出さない」ということは成り立たないとすれば吸収され難い fact11: この野戦行きが馴染み難いならあの不徳は円本だということはない fact12: もし仮に「そのオールインワン工具は再利用する」ということは本当であるとすればあの野戦行きは吸収され難くないし更に払い出さない fact13: もしもそのオールインワン工具は円本ならば「この野戦行きは払い出さない」ということは真実だ fact14: 仮にあの不徳が再利用しないけれど払い出すならその主管業務は馴染み難くない fact15: 「この野戦行きは円本でなくてそれは占有すらない」ということは誤っていれば「そのオールインワン工具は払い出さない」ということは成り立つ fact16: 「その赤葡萄酒は再利用しないがしかし吸収され難い」ということは成り立たない fact17: 「そのオールインワン工具は歌うしそれにそれは払い出す」ということは成り立たない fact18: もしもこの野戦行きが円本でないししかも占有すらないならその米軍歓迎は馴染み難くない fact19: この野戦行きは占有すらない fact20: もしもその赤葡萄酒は吸収され難いなら「その主管業務は生存しない」ということは確かだ fact21: 仮にその米軍歓迎が馴染み難いということはないとするとあの不徳は馴染み難いし更に歌う fact22: もし仮にその主管業務が吸収され難いとすればあの赤葡萄酒は吸収され難くない一方で生存する
void -> assump1: 以下のように仮定する。「この野戦行きは円本であるということはないしその上占有すらない」ということは誤りだ; fact15 & assump1 -> int1: そのオールインワン工具は払い出さない; int1 & fact5 -> int2: 「「その主管業務は再利用するがそれは払い出さない」ということは成り立たない」ということは正しい; int2 & fact10 -> int3: その主管業務は吸収され難い; int3 & fact22 -> int4: その赤葡萄酒は吸収され難くないけど生存する; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この野戦行きは円本でなくてそれは占有すということはない」ということは真実である; int6 & fact18 -> int7: その米軍歓迎は馴染み難くない; int7 & fact21 -> hypothesis;
「「あの不徳は馴染み難いしその上歌う」ということは正しい」ということは間違っている
fact24 -> int8: もしもそのオールインワン工具が消耗品でないとしたらそれは再利用するし更に生存する;
$facts$ = fact1: もし「その赤葡萄酒は馴染み難い一方でそれは払い出すということはない」ということは成り立たないとすればそれは吸収され難い fact2: なんらかの物が消耗品でないとすればそれは再利用するし生存する fact3: 「その米軍歓迎は生存しないが馴染み難い」ということは事実と異なる fact4: もし仮にこの野戦行きは吸収され難いということはないとしたら「あの不徳は馴染み難いし歌う」ということは嘘だ fact5: もしそのオールインワン工具は払い出さないとすると「その主管業務は再利用するけど払い出さない」ということは偽だ fact6: 「その赤葡萄酒は吸収され難くないが生存する」ということは間違っている fact7: 「その主管業務は歌うということはない」ということは成り立つ fact8: この野戦行きは払い出さなくてしかもそれは占有すらない fact9: その主管業務はこざっぱりする fact10: もしも「その主管業務は再利用するけれどそれは払い出さない」ということは成り立たないとすれば吸収され難い fact11: この野戦行きが馴染み難いならあの不徳は円本だということはない fact12: もし仮に「そのオールインワン工具は再利用する」ということは本当であるとすればあの野戦行きは吸収され難くないし更に払い出さない fact13: もしもそのオールインワン工具は円本ならば「この野戦行きは払い出さない」ということは真実だ fact14: 仮にあの不徳が再利用しないけれど払い出すならその主管業務は馴染み難くない fact15: 「この野戦行きは円本でなくてそれは占有すらない」ということは誤っていれば「そのオールインワン工具は払い出さない」ということは成り立つ fact16: 「その赤葡萄酒は再利用しないがしかし吸収され難い」ということは成り立たない fact17: 「そのオールインワン工具は歌うしそれにそれは払い出す」ということは成り立たない fact18: もしもこの野戦行きが円本でないししかも占有すらないならその米軍歓迎は馴染み難くない fact19: この野戦行きは占有すらない fact20: もしもその赤葡萄酒は吸収され難いなら「その主管業務は生存しない」ということは確かだ fact21: 仮にその米軍歓迎が馴染み難いということはないとするとあの不徳は馴染み難いし更に歌う fact22: もし仮にその主管業務が吸収され難いとすればあの赤葡萄酒は吸収され難くない一方で生存する ; $hypothesis$ = あの不徳は馴染み難くて歌う ; $proof$ = 
void -> assump1: 以下のように仮定する。「この野戦行きは円本であるということはないしその上占有すらない」ということは誤りだ; fact15 & assump1 -> int1: そのオールインワン工具は払い出さない; int1 & fact5 -> int2: 「「その主管業務は再利用するがそれは払い出さない」ということは成り立たない」ということは正しい; int2 & fact10 -> int3: その主管業務は吸収され難い; int3 & fact22 -> int4: その赤葡萄酒は吸収され難くないけど生存する; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この野戦行きは円本でなくてそれは占有すということはない」ということは真実である; int6 & fact18 -> int7: その米軍歓迎は馴染み難くない; int7 & fact21 -> hypothesis; __PROVED__
事実1: もし「その赤葡萄酒は馴染み難い一方でそれは払い出すということはない」ということは成り立たないとすればそれは吸収され難い
事実2: なんらかの物が消耗品でないとすればそれは再利用するし生存する
事実3: 「その米軍歓迎は生存しないが馴染み難い」ということは事実と異なる
事実4: もし仮にこの野戦行きは吸収され難いということはないとしたら「あの不徳は馴染み難いし歌う」ということは嘘だ
事実5: もしそのオールインワン工具は払い出さないとすると「その主管業務は再利用するけど払い出さない」ということは偽だ
事実6: 「その赤葡萄酒は吸収され難くないが生存する」ということは間違っている
事実7: 「その主管業務は歌うということはない」ということは成り立つ
事実8: この野戦行きは払い出さなくてしかもそれは占有すらない
事実9: その主管業務はこざっぱりする
事実10: もしも「その主管業務は再利用するけれどそれは払い出さない」ということは成り立たないとすれば吸収され難い
事実11: この野戦行きが馴染み難いならあの不徳は円本だということはない
事実12: もし仮に「そのオールインワン工具は再利用する」ということは本当であるとすればあの野戦行きは吸収され難くないし更に払い出さない
事実13: もしもそのオールインワン工具は円本ならば「この野戦行きは払い出さない」ということは真実だ
事実14: 仮にあの不徳が再利用しないけれど払い出すならその主管業務は馴染み難くない
事実15: 「この野戦行きは円本でなくてそれは占有すらない」ということは誤っていれば「そのオールインワン工具は払い出さない」ということは成り立つ
事実16: 「その赤葡萄酒は再利用しないがしかし吸収され難い」ということは成り立たない
事実17: 「そのオールインワン工具は歌うしそれにそれは払い出す」ということは成り立たない
事実18: もしもこの野戦行きが円本でないししかも占有すらないならその米軍歓迎は馴染み難くない
事実19: この野戦行きは占有すらない
事実20: もしもその赤葡萄酒は吸収され難いなら「その主管業務は生存しない」ということは確かだ
事実21: 仮にその米軍歓迎が馴染み難いということはないとするとあの不徳は馴染み難いし更に歌う
事実22: もし仮にその主管業務が吸収され難いとすればあの赤葡萄酒は吸収され難くない一方で生存する

仮説: あの不徳は馴染み難くて歌う
1. 仮定1: 以下のように仮定する。「この野戦行きは円本であるということはないしその上占有すらない」ということは誤りだ
2. 事実15と仮定1から、推論1: "そのオールインワン工具は払い出さない"が導かれる
3. 推論1と事実5から、推論2: "「「その主管業務は再利用するがそれは払い出さない」ということは成り立たない」ということは正しい"が導かれる
4. 推論2と事実10から、推論3: "その主管業務は吸収され難い"が導かれる
5. 推論3と事実22から、推論4: "その赤葡萄酒は吸収され難くないけど生存する"が導かれる
6. 推論4と事実6から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この野戦行きは円本でなくてそれは占有すということはない」ということは真実である"が導かれる
8. 推論6と事実18から、推論7: "その米軍歓迎は馴染み難くない"が導かれる
9. 推論7と事実21から、仮説が導かれる

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