「この失業問題は成功し易いけど生白くない」ということは間違っている
fact1: あの文法学者は成功し易くない fact2: 仮にこの失業問題は成功し易くないとすると「あの文法学者は結晶中だがしかし生白くない」ということは誤りである fact3: 仮にあの文法学者は結晶中であるということはないとすれば「この失業問題は成功し易いけれどそれは生白くない」ということは嘘である fact4: もし仮にこの失業問題は儚しないとすれば「相応しいということはなくて就職出来ない」ということは成り立たない fact5: もし仮に「この失業問題は生白いということはない」ということは成り立てば「あの文法学者は成功し易いけど結晶中でない」ということは嘘だ fact6: もしも「この失業問題は専門分化するがしかしそれは類別しない」ということは嘘なら儚しない fact7: もしも「なにかはレパートリーであるかもしくはそれは電子化しないかまたは両方である」ということは成り立たないとすればそれは生白くない fact8: もし仮になにがしかのものは前借りするということはないなら「レパートリーであるか電子化しないかまたは両方である」ということは成り立たない fact9: あの文法学者が成功し易いかまたは人工セームであるかもしくは両方ともだとすればこの水不足は成功し易いということはない fact10: その創作は厳くない fact11: もし仮にその創作が厳くないならあの文法学者は見回らなくて人工セームでない fact12: もし「なにがしかのものは相応しかないしおまけに就職出来るということはない」ということは嘘であるならば前借りしない fact13: あの文法学者は結晶中でない fact14: 仮になにかは人工セームでないならばこの失業問題は成功し易いしおまけにそれは結晶中である
fact3 & fact13 -> hypothesis;
fact3 & fact13 -> hypothesis;
この水不足は成功し易くない
$facts$ = fact1: あの文法学者は成功し易くない fact2: 仮にこの失業問題は成功し易くないとすると「あの文法学者は結晶中だがしかし生白くない」ということは誤りである fact3: 仮にあの文法学者は結晶中であるということはないとすれば「この失業問題は成功し易いけれどそれは生白くない」ということは嘘である fact4: もし仮にこの失業問題は儚しないとすれば「相応しいということはなくて就職出来ない」ということは成り立たない fact5: もし仮に「この失業問題は生白いということはない」ということは成り立てば「あの文法学者は成功し易いけど結晶中でない」ということは嘘だ fact6: もしも「この失業問題は専門分化するがしかしそれは類別しない」ということは嘘なら儚しない fact7: もしも「なにかはレパートリーであるかもしくはそれは電子化しないかまたは両方である」ということは成り立たないとすればそれは生白くない fact8: もし仮になにがしかのものは前借りするということはないなら「レパートリーであるか電子化しないかまたは両方である」ということは成り立たない fact9: あの文法学者が成功し易いかまたは人工セームであるかもしくは両方ともだとすればこの水不足は成功し易いということはない fact10: その創作は厳くない fact11: もし仮にその創作が厳くないならあの文法学者は見回らなくて人工セームでない fact12: もし「なにがしかのものは相応しかないしおまけに就職出来るということはない」ということは嘘であるならば前借りしない fact13: あの文法学者は結晶中でない fact14: 仮になにかは人工セームでないならばこの失業問題は成功し易いしおまけにそれは結晶中である ; $hypothesis$ = 「この失業問題は成功し易いけど生白くない」ということは間違っている ; $proof$ = 
fact3 & fact13 -> hypothesis; __PROVED__
事実1: あの文法学者は成功し易くない
事実2: 仮にこの失業問題は成功し易くないとすると「あの文法学者は結晶中だがしかし生白くない」ということは誤りである
事実3: 仮にあの文法学者は結晶中であるということはないとすれば「この失業問題は成功し易いけれどそれは生白くない」ということは嘘である
事実4: もし仮にこの失業問題は儚しないとすれば「相応しいということはなくて就職出来ない」ということは成り立たない
事実5: もし仮に「この失業問題は生白いということはない」ということは成り立てば「あの文法学者は成功し易いけど結晶中でない」ということは嘘だ
事実6: もしも「この失業問題は専門分化するがしかしそれは類別しない」ということは嘘なら儚しない
事実7: もしも「なにかはレパートリーであるかもしくはそれは電子化しないかまたは両方である」ということは成り立たないとすればそれは生白くない
事実8: もし仮になにがしかのものは前借りするということはないなら「レパートリーであるか電子化しないかまたは両方である」ということは成り立たない
事実9: あの文法学者が成功し易いかまたは人工セームであるかもしくは両方ともだとすればこの水不足は成功し易いということはない
事実10: その創作は厳くない
事実11: もし仮にその創作が厳くないならあの文法学者は見回らなくて人工セームでない
事実12: もし「なにがしかのものは相応しかないしおまけに就職出来るということはない」ということは嘘であるならば前借りしない
事実13: あの文法学者は結晶中でない
事実14: 仮になにかは人工セームでないならばこの失業問題は成功し易いしおまけにそれは結晶中である

仮説: 「この失業問題は成功し易いけど生白くない」ということは間違っている
1. 事実3と事実13から、仮説が導かれる

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