この小農は上出来だ
fact1: 「「その三葉虫は誘発し易くない一方でそれは答え易い」ということは成り立たない」ということは間違いだということはない fact2: 仮にとある物が飲み尽くせば大学問題であるということはない fact3: 「その収量水準は欲求する」ということは正しい fact4: あの無意識層が欲求するとすればその収量水準は欲求する fact5: もし仮にこの小農が大学問題でないとすれば引き立てるし誘発し易くない fact6: その収量水準が欲求するとしたらこの教典は上出来だ fact7: その収量水準が選択され易いならこの小農は上出来だ fact8: 仮に「その同クラスは大学問題であるが飲み尽くさない」ということは成り立たないとしたら引き立てる fact9: もし仮に「その三葉虫は誘発し易くないがしかし答え易い」ということは本当だということはないならばそれは誘発し易い fact10: もし仮にその収量水準が選択され易くないとすれば上出来であるかもしくは欲求する fact11: もしもその収量水準は上出来であるとしたら「この教典は上出来である」ということは本当である fact12: もし「その同クラスはめでたしけれどそれは選択され易くない」ということは成り立たないとするとその収量水準は選択され易くない fact13: もしなにかは引き立てるとすれば「めでたしけど選択され易くない」ということは嘘である fact14: 誘発し易いものがあるならあの無意識層は万歳するし更にそれは欲求する fact15: そのニューヨーク公共図書館は選択され易い fact16: もしあるものが答え易いということはないとすると飲み尽くすけど属望しない fact17: もし仮に「この小農は万歳しない」ということは成り立つなら「その収量水準は万歳する」ということは事実である fact18: その収量水準は欲求するしかつ選択され易い fact19: もしもなんらかのものが万歳するならそれは選択され易くない fact20: もし仮にこの小農は引き立てるとすれば「それは万歳しないけどめでたし」ということは成り立つ
fact18 -> int1: その収量水準は選択され易い; int1 & fact7 -> hypothesis;
「この小農は上出来でない」ということは成り立つ
fact25 & fact23 -> int2: その三葉虫は誘発し易い; int2 -> int3: 「誘発し易い」ものはある; int3 & fact24 -> int4: あの無意識層は万歳するし更にそれは欲求する; int4 -> int5: あの無意識層は欲求する; fact22 & int5 -> int6: その収量水準は欲求する; fact26 -> int7: 仮にその同クラスは引き立てるとしたら「めでたししさらに選択され易くない」ということは間違いである;
$facts$ = fact1: 「「その三葉虫は誘発し易くない一方でそれは答え易い」ということは成り立たない」ということは間違いだということはない fact2: 仮にとある物が飲み尽くせば大学問題であるということはない fact3: 「その収量水準は欲求する」ということは正しい fact4: あの無意識層が欲求するとすればその収量水準は欲求する fact5: もし仮にこの小農が大学問題でないとすれば引き立てるし誘発し易くない fact6: その収量水準が欲求するとしたらこの教典は上出来だ fact7: その収量水準が選択され易いならこの小農は上出来だ fact8: 仮に「その同クラスは大学問題であるが飲み尽くさない」ということは成り立たないとしたら引き立てる fact9: もし仮に「その三葉虫は誘発し易くないがしかし答え易い」ということは本当だということはないならばそれは誘発し易い fact10: もし仮にその収量水準が選択され易くないとすれば上出来であるかもしくは欲求する fact11: もしもその収量水準は上出来であるとしたら「この教典は上出来である」ということは本当である fact12: もし「その同クラスはめでたしけれどそれは選択され易くない」ということは成り立たないとするとその収量水準は選択され易くない fact13: もしなにかは引き立てるとすれば「めでたしけど選択され易くない」ということは嘘である fact14: 誘発し易いものがあるならあの無意識層は万歳するし更にそれは欲求する fact15: そのニューヨーク公共図書館は選択され易い fact16: もしあるものが答え易いということはないとすると飲み尽くすけど属望しない fact17: もし仮に「この小農は万歳しない」ということは成り立つなら「その収量水準は万歳する」ということは事実である fact18: その収量水準は欲求するしかつ選択され易い fact19: もしもなんらかのものが万歳するならそれは選択され易くない fact20: もし仮にこの小農は引き立てるとすれば「それは万歳しないけどめでたし」ということは成り立つ ; $hypothesis$ = この小農は上出来だ ; $proof$ = 
fact18 -> int1: その収量水準は選択され易い; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「「その三葉虫は誘発し易くない一方でそれは答え易い」ということは成り立たない」ということは間違いだということはない
事実2: 仮にとある物が飲み尽くせば大学問題であるということはない
事実3: 「その収量水準は欲求する」ということは正しい
事実4: あの無意識層が欲求するとすればその収量水準は欲求する
事実5: もし仮にこの小農が大学問題でないとすれば引き立てるし誘発し易くない
事実6: その収量水準が欲求するとしたらこの教典は上出来だ
事実7: その収量水準が選択され易いならこの小農は上出来だ
事実8: 仮に「その同クラスは大学問題であるが飲み尽くさない」ということは成り立たないとしたら引き立てる
事実9: もし仮に「その三葉虫は誘発し易くないがしかし答え易い」ということは本当だということはないならばそれは誘発し易い
事実10: もし仮にその収量水準が選択され易くないとすれば上出来であるかもしくは欲求する
事実11: もしもその収量水準は上出来であるとしたら「この教典は上出来である」ということは本当である
事実12: もし「その同クラスはめでたしけれどそれは選択され易くない」ということは成り立たないとするとその収量水準は選択され易くない
事実13: もしなにかは引き立てるとすれば「めでたしけど選択され易くない」ということは嘘である
事実14: 誘発し易いものがあるならあの無意識層は万歳するし更にそれは欲求する
事実15: そのニューヨーク公共図書館は選択され易い
事実16: もしあるものが答え易いということはないとすると飲み尽くすけど属望しない
事実17: もし仮に「この小農は万歳しない」ということは成り立つなら「その収量水準は万歳する」ということは事実である
事実18: その収量水準は欲求するしかつ選択され易い
事実19: もしもなんらかのものが万歳するならそれは選択され易くない
事実20: もし仮にこの小農は引き立てるとすれば「それは万歳しないけどめでたし」ということは成り立つ

仮説: この小農は上出来だ
1. 事実18から、推論1: "その収量水準は選択され易い"が導かれる
2. 推論1と事実7から、仮説が導かれる

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