「あの法定協は豚小屋でない一方でそれは水平ボーリングだ」ということは間違いである
fact1: 「満遍無い」ものはある fact2: もし「「水平ボーリングでないかもしくは抜け易くないかどちらもだ」ということは成り立たない」ものがあるならあの農業資金は巡気だということはない fact3: 「「満遍無いかあるいは育て易くないかあるいは両方である」ということは誤っている」物はある fact4: もし「「満遍無くないか育て易くない」ということは成り立たない」ものはあれば「あの農業資金は豚小屋でない」ということは成り立つ fact5: 「「満遍無くないか育て易いということはない」ということは成り立つということはない」物はある fact6: もし「あの法定協は豚小屋でない」ということは事実と異ならないとしたら「あの農業資金は豚小屋でないがしかし水平ボーリングだ」ということは誤りである fact7: 何らかのものは豚小屋だとすれば「間質組織でないかいじらしくないかあるいは両方だ」ということは誤りだ fact8: 「「「水平ボーリングでないかまたは豚小屋でないか両方だ」ということは誤りでない」ということは事実と異なる」物はある fact9: なんらかのものは満遍無くないか育て易くないかもしくはどちらもだ fact10: もしも何らかのものがキスしないがしかしそれは道徳多元主義だとすれば「いじらしい」ということは事実である fact11: もしもあの農業資金が足輪でないならばあの法定協は豚小屋だということはないけれど水平ボーリングだ fact12: いじらしいものは足輪でない一方で耐え難い fact13: あの農業資金は豚小屋でないなら「あの法定協は豚小屋だし加えて水平ボーリングである」ということは誤りである fact14: もしもある物が余所行きでないとすればキスしないしかつ道徳多元主義だ fact15: 「あの法定協は豚小屋だということはないけれどそれは剥がれ易い」ということは成り立たない fact16: あの法定協は育て易くない fact17: 「育て易い」ものはある fact18: もしもあの農業資金は豚小屋でないとしたら「あの法定協は豚小屋でないが水平ボーリングだ」ということは偽だ fact19: 「あの法定協は豚小屋でまた水平ボーリングだ」ということは成り立つということはない fact20: 「「満遍無くないかもしくは育て易いかあるいは両方ともだ」ということは偽である」ものはある
fact5 & fact4 -> int1: あの農業資金は豚小屋でない; int1 & fact18 -> hypothesis;
あの法定協は豚小屋でないけれどそれは水平ボーリングだ
fact21 -> int2: あの農業資金がいじらしいならば足輪でないけれど耐え難い; fact23 -> int3: もしもあの農業資金はキスしないけれど道徳多元主義だとすれば「それはいじらしいということはない」ということは事実と異なる; fact24 -> int4: 仮にあの農業資金は余所行きでないならそれはキスしないけど道徳多元主義だ;
$facts$ = fact1: 「満遍無い」ものはある fact2: もし「「水平ボーリングでないかもしくは抜け易くないかどちらもだ」ということは成り立たない」ものがあるならあの農業資金は巡気だということはない fact3: 「「満遍無いかあるいは育て易くないかあるいは両方である」ということは誤っている」物はある fact4: もし「「満遍無くないか育て易くない」ということは成り立たない」ものはあれば「あの農業資金は豚小屋でない」ということは成り立つ fact5: 「「満遍無くないか育て易いということはない」ということは成り立つということはない」物はある fact6: もし「あの法定協は豚小屋でない」ということは事実と異ならないとしたら「あの農業資金は豚小屋でないがしかし水平ボーリングだ」ということは誤りである fact7: 何らかのものは豚小屋だとすれば「間質組織でないかいじらしくないかあるいは両方だ」ということは誤りだ fact8: 「「「水平ボーリングでないかまたは豚小屋でないか両方だ」ということは誤りでない」ということは事実と異なる」物はある fact9: なんらかのものは満遍無くないか育て易くないかもしくはどちらもだ fact10: もしも何らかのものがキスしないがしかしそれは道徳多元主義だとすれば「いじらしい」ということは事実である fact11: もしもあの農業資金が足輪でないならばあの法定協は豚小屋だということはないけれど水平ボーリングだ fact12: いじらしいものは足輪でない一方で耐え難い fact13: あの農業資金は豚小屋でないなら「あの法定協は豚小屋だし加えて水平ボーリングである」ということは誤りである fact14: もしもある物が余所行きでないとすればキスしないしかつ道徳多元主義だ fact15: 「あの法定協は豚小屋だということはないけれどそれは剥がれ易い」ということは成り立たない fact16: あの法定協は育て易くない fact17: 「育て易い」ものはある fact18: もしもあの農業資金は豚小屋でないとしたら「あの法定協は豚小屋でないが水平ボーリングだ」ということは偽だ fact19: 「あの法定協は豚小屋でまた水平ボーリングだ」ということは成り立つということはない fact20: 「「満遍無くないかもしくは育て易いかあるいは両方ともだ」ということは偽である」ものはある ; $hypothesis$ = 「あの法定協は豚小屋でない一方でそれは水平ボーリングだ」ということは間違いである ; $proof$ = 
fact5 & fact4 -> int1: あの農業資金は豚小屋でない; int1 & fact18 -> hypothesis; __PROVED__
事実1: 「満遍無い」ものはある
事実2: もし「「水平ボーリングでないかもしくは抜け易くないかどちらもだ」ということは成り立たない」ものがあるならあの農業資金は巡気だということはない
事実3: 「「満遍無いかあるいは育て易くないかあるいは両方である」ということは誤っている」物はある
事実4: もし「「満遍無くないか育て易くない」ということは成り立たない」ものはあれば「あの農業資金は豚小屋でない」ということは成り立つ
事実5: 「「満遍無くないか育て易いということはない」ということは成り立つということはない」物はある
事実6: もし「あの法定協は豚小屋でない」ということは事実と異ならないとしたら「あの農業資金は豚小屋でないがしかし水平ボーリングだ」ということは誤りである
事実7: 何らかのものは豚小屋だとすれば「間質組織でないかいじらしくないかあるいは両方だ」ということは誤りだ
事実8: 「「「水平ボーリングでないかまたは豚小屋でないか両方だ」ということは誤りでない」ということは事実と異なる」物はある
事実9: なんらかのものは満遍無くないか育て易くないかもしくはどちらもだ
事実10: もしも何らかのものがキスしないがしかしそれは道徳多元主義だとすれば「いじらしい」ということは事実である
事実11: もしもあの農業資金が足輪でないならばあの法定協は豚小屋だということはないけれど水平ボーリングだ
事実12: いじらしいものは足輪でない一方で耐え難い
事実13: あの農業資金は豚小屋でないなら「あの法定協は豚小屋だし加えて水平ボーリングである」ということは誤りである
事実14: もしもある物が余所行きでないとすればキスしないしかつ道徳多元主義だ
事実15: 「あの法定協は豚小屋だということはないけれどそれは剥がれ易い」ということは成り立たない
事実16: あの法定協は育て易くない
事実17: 「育て易い」ものはある
事実18: もしもあの農業資金は豚小屋でないとしたら「あの法定協は豚小屋でないが水平ボーリングだ」ということは偽だ
事実19: 「あの法定協は豚小屋でまた水平ボーリングだ」ということは成り立つということはない
事実20: 「「満遍無くないかもしくは育て易いかあるいは両方ともだ」ということは偽である」ものはある

仮説: 「あの法定協は豚小屋でない一方でそれは水平ボーリングだ」ということは間違いである
1. 事実5と事実4から、推論1: "あの農業資金は豚小屋でない"が導かれる
2. 推論1と事実18から、仮説が導かれる

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