「「この宿主側は心弱くないがしかしそれは稼ぎ捲る」ということは偽である」ということは事実と異ならない
fact1: なにがしかのものは言い立てるとすれば「それは地中深くない」ということは真実だ fact2: もしこの研修コースがワインバーならその有閑階級は人間臭い fact3: もしもその有閑階級は心弱くないとしたら「この宿主側は心弱くて加えて稼ぎ捲る」ということは間違っている fact4: なんらかのものは二・完であるということはないならば近付くけれど凍らない fact5: もし仮にそのストラドリング魚種が地中深いならば招き兼ねないしそれは遣り辛い fact6: 「そのストラドリング魚種は地中深い」ということは正しい fact7: 仮に何らかのものが人間臭いとすればそれは毒々しい fact8: もしもそのストラドリング魚種は心弱くないとすれば「この宿主側は心弱くないがそれは遣り辛い」ということは誤りだ fact9: あの千二百七十五ＧＴは高百石だ fact10: もしそのストラドリング魚種が毒々しかないとすればこの宿主側が言い立てるしその上それは地中深い fact11: 地中深いものは心弱くないけど稼ぎ捲る fact12: もしそのストラドリング魚種が地中深くないとすればこの宿主側は心弱くないけれど稼ぎ捲る fact13: もしその有閑階級は心弱くないとすると「「この宿主側は心弱くないけど稼ぎ捲る」ということは間違っている」ということは真実である fact14: もしもそのストラドリング魚種が地中深いとすると遣り辛い fact15: 「この宿主側は心弱くておまけにそれは稼ぎ捲る」ということは誤っている fact16: そのストラドリング魚種は遣り辛い fact17: もし仮になにかは近付くけれど凍らないとすればそれはワインバーである fact18: 仮にその有閑階級が毒々しいならばそのストラドリング魚種は言い立てる fact19: もしその有閑階級が心弱くない一方で地中深いならそのストラドリング魚種は稼ぎ捲るということはない fact20: もしこの宿主側が招き兼ねるなら稼ぎ捲るということはなくてそれは地中深い fact21: もし「この労働歌は聞き成れる一方で高百石であるということはない」ということは誤りであるとすればこの研修コースは二・完でない fact22: もしも「「その有閑階級は移ろい易いかそれは心弱くないかもしくはどちらもだ」ということは成り立たない」ということは確かであるならば「そのストラドリング魚種は移ろい易くない」ということは本当である fact23: 仮にそのストラドリング魚種が招き兼ねないけれど遣り辛いとすればその有閑階級は心弱くない fact24: もし仮にこの宿主側が遣り辛いとするとそれは地中深くないしその上稼ぎ捲る
fact5 & fact6 -> int1: そのストラドリング魚種は招き兼ねないけど遣り辛い; int1 & fact23 -> int2: その有閑階級は心弱くない; int2 & fact13 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact23 -> int2: ¬{B}{b}; int2 & fact13 -> hypothesis;
この宿主側は心弱くないがしかしそれは稼ぎ捲る
fact29 -> int3: もし仮にそのストラドリング魚種が言い立てるなら地中深くない; fact31 -> int4: その有閑階級が人間臭いとすれば毒々しい; fact30 -> int5: もしもこの研修コースが近付くがしかし凍らないとすればワインバーである; fact33 -> int6: この研修コースは二・完でないならば「それは近付くしまたそれは凍らない」ということは間違いでない; fact28 -> int7: 何かは高百石だ;
$facts$ = fact1: なにがしかのものは言い立てるとすれば「それは地中深くない」ということは真実だ fact2: もしこの研修コースがワインバーならその有閑階級は人間臭い fact3: もしもその有閑階級は心弱くないとしたら「この宿主側は心弱くて加えて稼ぎ捲る」ということは間違っている fact4: なんらかのものは二・完であるということはないならば近付くけれど凍らない fact5: もし仮にそのストラドリング魚種が地中深いならば招き兼ねないしそれは遣り辛い fact6: 「そのストラドリング魚種は地中深い」ということは正しい fact7: 仮に何らかのものが人間臭いとすればそれは毒々しい fact8: もしもそのストラドリング魚種は心弱くないとすれば「この宿主側は心弱くないがそれは遣り辛い」ということは誤りだ fact9: あの千二百七十五ＧＴは高百石だ fact10: もしそのストラドリング魚種が毒々しかないとすればこの宿主側が言い立てるしその上それは地中深い fact11: 地中深いものは心弱くないけど稼ぎ捲る fact12: もしそのストラドリング魚種が地中深くないとすればこの宿主側は心弱くないけれど稼ぎ捲る fact13: もしその有閑階級は心弱くないとすると「「この宿主側は心弱くないけど稼ぎ捲る」ということは間違っている」ということは真実である fact14: もしもそのストラドリング魚種が地中深いとすると遣り辛い fact15: 「この宿主側は心弱くておまけにそれは稼ぎ捲る」ということは誤っている fact16: そのストラドリング魚種は遣り辛い fact17: もし仮になにかは近付くけれど凍らないとすればそれはワインバーである fact18: 仮にその有閑階級が毒々しいならばそのストラドリング魚種は言い立てる fact19: もしその有閑階級が心弱くない一方で地中深いならそのストラドリング魚種は稼ぎ捲るということはない fact20: もしこの宿主側が招き兼ねるなら稼ぎ捲るということはなくてそれは地中深い fact21: もし「この労働歌は聞き成れる一方で高百石であるということはない」ということは誤りであるとすればこの研修コースは二・完でない fact22: もしも「「その有閑階級は移ろい易いかそれは心弱くないかもしくはどちらもだ」ということは成り立たない」ということは確かであるならば「そのストラドリング魚種は移ろい易くない」ということは本当である fact23: 仮にそのストラドリング魚種が招き兼ねないけれど遣り辛いとすればその有閑階級は心弱くない fact24: もし仮にこの宿主側が遣り辛いとするとそれは地中深くないしその上稼ぎ捲る ; $hypothesis$ = 「「この宿主側は心弱くないがしかしそれは稼ぎ捲る」ということは偽である」ということは事実と異ならない ; $proof$ = 
fact5 & fact6 -> int1: そのストラドリング魚種は招き兼ねないけど遣り辛い; int1 & fact23 -> int2: その有閑階級は心弱くない; int2 & fact13 -> hypothesis; __PROVED__
事実1: なにがしかのものは言い立てるとすれば「それは地中深くない」ということは真実だ
事実2: もしこの研修コースがワインバーならその有閑階級は人間臭い
事実3: もしもその有閑階級は心弱くないとしたら「この宿主側は心弱くて加えて稼ぎ捲る」ということは間違っている
事実4: なんらかのものは二・完であるということはないならば近付くけれど凍らない
事実5: もし仮にそのストラドリング魚種が地中深いならば招き兼ねないしそれは遣り辛い
事実6: 「そのストラドリング魚種は地中深い」ということは正しい
事実7: 仮に何らかのものが人間臭いとすればそれは毒々しい
事実8: もしもそのストラドリング魚種は心弱くないとすれば「この宿主側は心弱くないがそれは遣り辛い」ということは誤りだ
事実9: あの千二百七十五ＧＴは高百石だ
事実10: もしそのストラドリング魚種が毒々しかないとすればこの宿主側が言い立てるしその上それは地中深い
事実11: 地中深いものは心弱くないけど稼ぎ捲る
事実12: もしそのストラドリング魚種が地中深くないとすればこの宿主側は心弱くないけれど稼ぎ捲る
事実13: もしその有閑階級は心弱くないとすると「「この宿主側は心弱くないけど稼ぎ捲る」ということは間違っている」ということは真実である
事実14: もしもそのストラドリング魚種が地中深いとすると遣り辛い
事実15: 「この宿主側は心弱くておまけにそれは稼ぎ捲る」ということは誤っている
事実16: そのストラドリング魚種は遣り辛い
事実17: もし仮になにかは近付くけれど凍らないとすればそれはワインバーである
事実18: 仮にその有閑階級が毒々しいならばそのストラドリング魚種は言い立てる
事実19: もしその有閑階級が心弱くない一方で地中深いならそのストラドリング魚種は稼ぎ捲るということはない
事実20: もしこの宿主側が招き兼ねるなら稼ぎ捲るということはなくてそれは地中深い
事実21: もし「この労働歌は聞き成れる一方で高百石であるということはない」ということは誤りであるとすればこの研修コースは二・完でない
事実22: もしも「「その有閑階級は移ろい易いかそれは心弱くないかもしくはどちらもだ」ということは成り立たない」ということは確かであるならば「そのストラドリング魚種は移ろい易くない」ということは本当である
事実23: 仮にそのストラドリング魚種が招き兼ねないけれど遣り辛いとすればその有閑階級は心弱くない
事実24: もし仮にこの宿主側が遣り辛いとするとそれは地中深くないしその上稼ぎ捲る

仮説: 「「この宿主側は心弱くないがしかしそれは稼ぎ捲る」ということは偽である」ということは事実と異ならない
1. 事実5と事実6から、推論1: "そのストラドリング魚種は招き兼ねないけど遣り辛い"が導かれる
2. 推論1と事実23から、推論2: "その有閑階級は心弱くない"が導かれる
3. 推論2と事実13から、仮説が導かれる

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