「この先発ローテは航空産業でない一方で隠棲する」ということは嘘である
fact1: この先発ローテは航空産業なら「その左図は遅滞しないが隠棲する」ということは間違っている fact2: もし仮に「なんらかのものは文庫化でないけれど抜き取れる」ということは事実と異なるならそれは荒々しい fact3: その左図は遅滞する fact4: その左図は遅滞するとすれば「この先発ローテは航空産業だということはないけれど隠棲する」ということは成り立たない fact5: 仮に何らかの物が愛くるしくなくてしかも凍結でないとすればあの捕捉は乗り易くない fact6: 仮にこの先発ローテは隠棲するとしたら「その左図は航空産業であるし更に遅滞する」ということは嘘である fact7: この先発品は遅滞する fact8: 「その切開拡張術は遅さであるし追っ付く」ということは成り立たない fact9: 「その欠課は抽象代数学でそれに模倣出来る」ということは偽だ fact10: 「文庫化である」ものはある fact11: なにかは愛くるしくないしまた凍結でない fact12: 「聞き易い」ものはあるとしたら「この先発ローテは淡くない一方で読み進む」ということは誤っている fact13: 「仮に「あるものは抜き取れなくてその上荒々しくない」ということは間違っていればそれは淡い」ということは正しい fact14: 仮にその左図は遅滞するとしたら「この先発ローテは航空産業でまた隠棲する」ということは成り立つということはない fact15: もし仮にあるものは乗り易くないとすると「文庫化でない一方で抜き取れる」ということは間違いだ fact16: 仮にその左図は隠棲するとしたら「この先発ローテは遅滞しないがしかしそれは航空産業である」ということは嘘である fact17: 「この先発ローテは航空産業であるしそれに隠棲する」ということは偽だ fact18: もしこの捕捉が荒々しいとしたらあの一列縦隊は聞き易い fact19: 仮にとある物は聞き易いかまたは読み進むとすると遅滞しない fact20: もしその左図が遅滞するということはないとしたらこの先発ローテは航空産業でないがしかし隠棲する fact21: もし「とあるものは読み進まない」ということは正しいならば「それは遅滞しないし更に踊れる」ということは嘘である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
「その左図は遅滞しないけど踊れる」ということは誤っている
fact25 -> int1: その左図は読み進まないとすると「遅滞しないし加えて踊れる」ということは成り立たない; fact23 -> int2: 仮に「この捕捉は文庫化でないけどそれは抜き取れる」ということは成り立たないとすれば荒々しい; fact22 -> int3: この捕捉は乗り易いということはないとすれば「それは文庫化でないしおまけに抜き取れる」ということは確かでない; fact27 & fact24 -> int4: この捕捉は乗り易くない; int3 & int4 -> int5: 「この捕捉は文庫化でないがそれは抜き取れる」ということは間違いだ; int2 & int5 -> int6: この捕捉は荒々しい; fact26 & int6 -> int7: あの一列縦隊は聞き易い; int7 -> int8: 「「聞き易い」ということは正しい」物はある; int8 & fact28 -> int9: 「この先発ローテは淡くないが読み進む」ということは成り立たない; int9 -> int10: 「「淡くないけれど読み進む」ということは成り立たない」物はある;
$facts$ = fact1: この先発ローテは航空産業なら「その左図は遅滞しないが隠棲する」ということは間違っている fact2: もし仮に「なんらかのものは文庫化でないけれど抜き取れる」ということは事実と異なるならそれは荒々しい fact3: その左図は遅滞する fact4: その左図は遅滞するとすれば「この先発ローテは航空産業だということはないけれど隠棲する」ということは成り立たない fact5: 仮に何らかの物が愛くるしくなくてしかも凍結でないとすればあの捕捉は乗り易くない fact6: 仮にこの先発ローテは隠棲するとしたら「その左図は航空産業であるし更に遅滞する」ということは嘘である fact7: この先発品は遅滞する fact8: 「その切開拡張術は遅さであるし追っ付く」ということは成り立たない fact9: 「その欠課は抽象代数学でそれに模倣出来る」ということは偽だ fact10: 「文庫化である」ものはある fact11: なにかは愛くるしくないしまた凍結でない fact12: 「聞き易い」ものはあるとしたら「この先発ローテは淡くない一方で読み進む」ということは誤っている fact13: 「仮に「あるものは抜き取れなくてその上荒々しくない」ということは間違っていればそれは淡い」ということは正しい fact14: 仮にその左図は遅滞するとしたら「この先発ローテは航空産業でまた隠棲する」ということは成り立つということはない fact15: もし仮にあるものは乗り易くないとすると「文庫化でない一方で抜き取れる」ということは間違いだ fact16: 仮にその左図は隠棲するとしたら「この先発ローテは遅滞しないがしかしそれは航空産業である」ということは嘘である fact17: 「この先発ローテは航空産業であるしそれに隠棲する」ということは偽だ fact18: もしこの捕捉が荒々しいとしたらあの一列縦隊は聞き易い fact19: 仮にとある物は聞き易いかまたは読み進むとすると遅滞しない fact20: もしその左図が遅滞するということはないとしたらこの先発ローテは航空産業でないがしかし隠棲する fact21: もし「とあるものは読み進まない」ということは正しいならば「それは遅滞しないし更に踊れる」ということは嘘である ; $hypothesis$ = 「この先発ローテは航空産業でない一方で隠棲する」ということは嘘である ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: この先発ローテは航空産業なら「その左図は遅滞しないが隠棲する」ということは間違っている
事実2: もし仮に「なんらかのものは文庫化でないけれど抜き取れる」ということは事実と異なるならそれは荒々しい
事実3: その左図は遅滞する
事実4: その左図は遅滞するとすれば「この先発ローテは航空産業だということはないけれど隠棲する」ということは成り立たない
事実5: 仮に何らかの物が愛くるしくなくてしかも凍結でないとすればあの捕捉は乗り易くない
事実6: 仮にこの先発ローテは隠棲するとしたら「その左図は航空産業であるし更に遅滞する」ということは嘘である
事実7: この先発品は遅滞する
事実8: 「その切開拡張術は遅さであるし追っ付く」ということは成り立たない
事実9: 「その欠課は抽象代数学でそれに模倣出来る」ということは偽だ
事実10: 「文庫化である」ものはある
事実11: なにかは愛くるしくないしまた凍結でない
事実12: 「聞き易い」ものはあるとしたら「この先発ローテは淡くない一方で読み進む」ということは誤っている
事実13: 「仮に「あるものは抜き取れなくてその上荒々しくない」ということは間違っていればそれは淡い」ということは正しい
事実14: 仮にその左図は遅滞するとしたら「この先発ローテは航空産業でまた隠棲する」ということは成り立つということはない
事実15: もし仮にあるものは乗り易くないとすると「文庫化でない一方で抜き取れる」ということは間違いだ
事実16: 仮にその左図は隠棲するとしたら「この先発ローテは遅滞しないがしかしそれは航空産業である」ということは嘘である
事実17: 「この先発ローテは航空産業であるしそれに隠棲する」ということは偽だ
事実18: もしこの捕捉が荒々しいとしたらあの一列縦隊は聞き易い
事実19: 仮にとある物は聞き易いかまたは読み進むとすると遅滞しない
事実20: もしその左図が遅滞するということはないとしたらこの先発ローテは航空産業でないがしかし隠棲する
事実21: もし「とあるものは読み進まない」ということは正しいならば「それは遅滞しないし更に踊れる」ということは嘘である

仮説: 「この先発ローテは航空産業でない一方で隠棲する」ということは嘘である
1. 事実4と事実3から、仮説が導かれる

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