「この予言者は環境被害だし得難い」ということは誤りだ
fact1: 仮に「嬉しくない」物はあるとすれば「この予言者は環境被害であるしかつ得難い」ということは間違いである fact2: 「環境被害な」ものはある fact3: 「その自助努力は再生するということはなくて加えて流し合わない」ということは成り立たない fact4: 「この予言者はあざといしかつ嬉しい」ということは偽である fact5: その自助努力が流し合えばこの予言者は流し合う fact6: その自助努力は得難いとすると「流し合わないし環境被害だ」ということは誤りである fact7: もしなにがしかのものは環境被害でないなら「「それは空しいし更に嬉しい」ということは成り立つ」ということは成り立つということはない fact8: 「牛な」ものはある fact9: もしもこの疎ましさが得難くなくてしかもそれが逃れ難いということはないならばこの予言者は得難い fact10: 「あの税関局が乾燥パンパだしその上寄与す」ということは誤りだ fact11: 何らかの物は環境被害でない fact12: 何らかのものが流し合えばそれは嬉しい fact13: 「「嬉しい」ということは成り立つ」物はある fact14: 仮に「この疎ましさは空しくて嬉しい」ということは誤りならばこの予言者は空しかない fact15: 成り難いものは得難くなくて逃れ難くない fact16: 「「嬉しくない」ものはある」ということは真実だ fact17: 「この予言者は嬉しいしまた液体燃料だ」ということは間違っている fact18: 「この予言者は得難いししかも田舎臭い」ということは成り立たない fact19: もし仮に「その自助努力は再生しなくてかつそれは流し合わない」ということは成り立たないなら流し合う
fact16 & fact1 -> hypothesis;
fact16 & fact1 -> hypothesis;
空しかない物はある
fact22 -> int1: もしこの疎ましさは環境被害でないとすると「空しくてさらに嬉しい」ということは嘘である;
$facts$ = fact1: 仮に「嬉しくない」物はあるとすれば「この予言者は環境被害であるしかつ得難い」ということは間違いである fact2: 「環境被害な」ものはある fact3: 「その自助努力は再生するということはなくて加えて流し合わない」ということは成り立たない fact4: 「この予言者はあざといしかつ嬉しい」ということは偽である fact5: その自助努力が流し合えばこの予言者は流し合う fact6: その自助努力は得難いとすると「流し合わないし環境被害だ」ということは誤りである fact7: もしなにがしかのものは環境被害でないなら「「それは空しいし更に嬉しい」ということは成り立つ」ということは成り立つということはない fact8: 「牛な」ものはある fact9: もしもこの疎ましさが得難くなくてしかもそれが逃れ難いということはないならばこの予言者は得難い fact10: 「あの税関局が乾燥パンパだしその上寄与す」ということは誤りだ fact11: 何らかの物は環境被害でない fact12: 何らかのものが流し合えばそれは嬉しい fact13: 「「嬉しい」ということは成り立つ」物はある fact14: 仮に「この疎ましさは空しくて嬉しい」ということは誤りならばこの予言者は空しかない fact15: 成り難いものは得難くなくて逃れ難くない fact16: 「「嬉しくない」ものはある」ということは真実だ fact17: 「この予言者は嬉しいしまた液体燃料だ」ということは間違っている fact18: 「この予言者は得難いししかも田舎臭い」ということは成り立たない fact19: もし仮に「その自助努力は再生しなくてかつそれは流し合わない」ということは成り立たないなら流し合う ; $hypothesis$ = 「この予言者は環境被害だし得難い」ということは誤りだ ; $proof$ = 
fact16 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「嬉しくない」物はあるとすれば「この予言者は環境被害であるしかつ得難い」ということは間違いである
事実2: 「環境被害な」ものはある
事実3: 「その自助努力は再生するということはなくて加えて流し合わない」ということは成り立たない
事実4: 「この予言者はあざといしかつ嬉しい」ということは偽である
事実5: その自助努力が流し合えばこの予言者は流し合う
事実6: その自助努力は得難いとすると「流し合わないし環境被害だ」ということは誤りである
事実7: もしなにがしかのものは環境被害でないなら「「それは空しいし更に嬉しい」ということは成り立つ」ということは成り立つということはない
事実8: 「牛な」ものはある
事実9: もしもこの疎ましさが得難くなくてしかもそれが逃れ難いということはないならばこの予言者は得難い
事実10: 「あの税関局が乾燥パンパだしその上寄与す」ということは誤りだ
事実11: 何らかの物は環境被害でない
事実12: 何らかのものが流し合えばそれは嬉しい
事実13: 「「嬉しい」ということは成り立つ」物はある
事実14: 仮に「この疎ましさは空しくて嬉しい」ということは誤りならばこの予言者は空しかない
事実15: 成り難いものは得難くなくて逃れ難くない
事実16: 「「嬉しくない」ものはある」ということは真実だ
事実17: 「この予言者は嬉しいしまた液体燃料だ」ということは間違っている
事実18: 「この予言者は得難いししかも田舎臭い」ということは成り立たない
事実19: もし仮に「その自助努力は再生しなくてかつそれは流し合わない」ということは成り立たないなら流し合う

仮説: 「この予言者は環境被害だし得難い」ということは誤りだ
1. 事実16と事実1から、仮説が導かれる

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