「もしも「集め易いしさらに試行しない」ということは真実でないならば飼育場でない」物はある
fact1: もしも「あの具体的政策は集め易くてかつ生白い」ということは成り立たないとすればそれは拙いということはない fact2: もし「あの具体的政策は集め易い一方で試行しない」ということは誤っているとすると飼育場である fact3: 「ある物は集め易い一方で試行しない」ということは成り立たないならばそれは飼育場でない fact4: 「もしも「集め易いけど試行しない」ということは誤っていれば飼育場である」ものはある fact5: もし仮に「なにがしかのものは電源ラインであるがそれは伝播しない」ということは成り立たないならばそれは燃え易くない fact6: 「もし仮に「「集め易い」ということは間違っている」ということは正しいならば飼育場でない」ものはある fact7: 「もしも「左右され易いが吊り下がらない」ということは嘘だとしたら真草でない」ものはある fact8: もしもあの具体的政策が集め易くないならそれは飼育場でない fact9: 「もしも試行するなら飼育場だということはない」物はある fact10: 「もし「集め易いししかも試行する」ということは間違いなら飼育場でない」ものはある fact11: もし「あの具体的政策は試行するしそれにウォルナット・ストリート橋である」ということは事実と異なるとするとそれは目敏くない fact12: もしあの具体的政策が集め易いけどそれが試行しないとすれば飼育場でない fact13: 集め易い物が試行しないとすると飼育場でない
fact3 -> int1: 仮に「あの具体的政策は集め易い一方で試行しない」ということは偽であるとすると飼育場でない; int1 -> hypothesis;
$facts$ = fact1: もしも「あの具体的政策は集め易くてかつ生白い」ということは成り立たないとすればそれは拙いということはない fact2: もし「あの具体的政策は集め易い一方で試行しない」ということは誤っているとすると飼育場である fact3: 「ある物は集め易い一方で試行しない」ということは成り立たないならばそれは飼育場でない fact4: 「もしも「集め易いけど試行しない」ということは誤っていれば飼育場である」ものはある fact5: もし仮に「なにがしかのものは電源ラインであるがそれは伝播しない」ということは成り立たないならばそれは燃え易くない fact6: 「もし仮に「「集め易い」ということは間違っている」ということは正しいならば飼育場でない」ものはある fact7: 「もしも「左右され易いが吊り下がらない」ということは嘘だとしたら真草でない」ものはある fact8: もしもあの具体的政策が集め易くないならそれは飼育場でない fact9: 「もしも試行するなら飼育場だということはない」物はある fact10: 「もし「集め易いししかも試行する」ということは間違いなら飼育場でない」ものはある fact11: もし「あの具体的政策は試行するしそれにウォルナット・ストリート橋である」ということは事実と異なるとするとそれは目敏くない fact12: もしあの具体的政策が集め易いけどそれが試行しないとすれば飼育場でない fact13: 集め易い物が試行しないとすると飼育場でない ; $hypothesis$ = 「もしも「集め易いしさらに試行しない」ということは真実でないならば飼育場でない」物はある ; $proof$ = 
fact3 -> int1: 仮に「あの具体的政策は集め易い一方で試行しない」ということは偽であるとすると飼育場でない; int1 -> hypothesis; __PROVED__
事実1: もしも「あの具体的政策は集め易くてかつ生白い」ということは成り立たないとすればそれは拙いということはない
事実2: もし「あの具体的政策は集め易い一方で試行しない」ということは誤っているとすると飼育場である
事実3: 「ある物は集め易い一方で試行しない」ということは成り立たないならばそれは飼育場でない
事実4: 「もしも「集め易いけど試行しない」ということは誤っていれば飼育場である」ものはある
事実5: もし仮に「なにがしかのものは電源ラインであるがそれは伝播しない」ということは成り立たないならばそれは燃え易くない
事実6: 「もし仮に「「集め易い」ということは間違っている」ということは正しいならば飼育場でない」ものはある
事実7: 「もしも「左右され易いが吊り下がらない」ということは嘘だとしたら真草でない」ものはある
事実8: もしもあの具体的政策が集め易くないならそれは飼育場でない
事実9: 「もしも試行するなら飼育場だということはない」物はある
事実10: 「もし「集め易いししかも試行する」ということは間違いなら飼育場でない」ものはある
事実11: もし「あの具体的政策は試行するしそれにウォルナット・ストリート橋である」ということは事実と異なるとするとそれは目敏くない
事実12: もしあの具体的政策が集め易いけどそれが試行しないとすれば飼育場でない
事実13: 集め易い物が試行しないとすると飼育場でない

仮説: 「もしも「集め易いしさらに試行しない」ということは真実でないならば飼育場でない」物はある
1. 事実3から、推論1: "仮に「あの具体的政策は集め易い一方で試行しない」ということは偽であるとすると飼育場でない"が導かれる
2. 推論1から、仮説が導かれる

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