この塩酸ペロスピロンは発揮し難くないがしかしあどけない
fact1: もしもこの塩酸ペロスピロンは補聴器であるなら「それがあどけないしその上勇ましい」ということは事実でない fact2: もし仮になにがしかのものはＮＳＡであるということはないなら「ブラッシュアップでそれは掘れない」ということは間違いである fact3: 仮に「この刺入部位は残るがしかし突き飛ばさない」ということは成り立たないならば「それは分離し易い」ということは真実だ fact4: この重圧は突き飛ばさない fact5: この塩酸ペロスピロンが残るならそれは発揮し難い fact6: この刺入部位はＮＳＡでない fact7: もしもこの塩酸ペロスピロンがＮＳＡだとすればあの大蔵省預金部は掘れる fact8: この刺入部位は分離し易くない fact9: この塩酸ペロスピロンがブラッシュアップだけど御尻であるということはない fact10: この刺入部位が突き飛ばすとすれば分離し易い fact11: 「あの大蔵省預金部は胡散臭くない」ということは成り立つ fact12: 「この塩酸ペロスピロンはあどけないしその上分離し易い」ということは誤りである fact13: その針生姜がブラッシュアップだということはないとしたらこの塩酸ペロスピロンは分離し易くない fact14: もし仮にその針生姜が日本代表だとするとあの大蔵省預金部はブラッシュアップだ fact15: 「この塩酸ペロスピロンは日本代表でないけれど発揮し難い」ということは偽である fact16: その針生姜は胡散臭くない fact17: もしあの大蔵省預金部が胡散臭いということはないならばそれはＮＳＡだということはない fact18: もしもなにかは掘れるとすると「それは発揮し難いしかつあどけない」ということは間違っている fact19: 「仮にこの塩酸ペロスピロンが分離し易いけど突き飛ばさないとしたらこの刺入部位はあどけない」ということは確かだ fact20: もし仮にあるものは掘れるなら「それは発揮し難いということはないし更にあどけない」ということは成り立つということはない fact21: もし「あの大蔵省預金部はＮＳＡだがしかし掘れない」ということは成り立たないなら発揮し難い fact22: もし仮にこの塩酸ペロスピロンは掘れるとすると「それは発揮し難いしまたあどけない」ということは間違っている fact23: 仮になんらかのものは胡散臭いなら「分離し易くないしその上残る」ということは間違っている fact24: もしその針生姜は日本代表でないならば「この刺入部位は残るけどそれは突き飛ばさない」ということは誤っている fact25: もし仮になんらかの物は分離し易くないならそれは日本代表でない fact26: その針生姜は発揮し難い fact27: もしもあの大蔵省預金部がブラッシュアップだけれどＮＳＡでないとしたらこの塩酸ペロスピロンは掘れる fact28: その針生姜は分離し易い
void -> assump1: 以下のように仮定する。その針生姜は日本代表でない; fact24 & assump1 -> int1: 「この刺入部位は残るが突き飛ばすということはない」ということは誤りである; int1 & fact3 -> int2: この刺入部位は分離し易い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その針生姜は日本代表だ; int4 & fact14 -> int5: あの大蔵省預金部はブラッシュアップだ; fact11 & fact17 -> int6: あの大蔵省預金部はＮＳＡであるということはない; int5 & int6 -> int7: あの大蔵省預金部はブラッシュアップであるがしかしＮＳＡであるということはない; int7 & fact27 -> int8: この塩酸ペロスピロンは掘れる; fact20 -> int9: 仮にこの塩酸ペロスピロンは掘れるなら「発揮し難くないしおまけにそれはあどけない」ということは事実でない; int8 & int9 -> hypothesis;
この塩酸ペロスピロンは発揮し難くないがしかしそれはあどけない
fact29 -> int10: 仮にこの塩酸ペロスピロンが分離し易いということはないならば日本代表でない; fact32 -> int11: この刺入部位はＮＳＡでないとすると「ブラッシュアップであるし更に掘れるということはない」ということは成り立たない; int11 & fact30 -> int12: 「この刺入部位はブラッシュアップであるけど掘れない」ということは間違いである; int12 -> int13: 「「ブラッシュアップであるが掘れない」ということは偽である」物はある;
$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: もしその針生姜は日本代表でないならば「この刺入部位は残るけどそれは突き飛ばさない」ということは誤っている fact25: もし仮になんらかの物は分離し易くないならそれは日本代表でない fact26: その針生姜は発揮し難い fact27: もしもあの大蔵省預金部がブラッシュアップだけれどＮＳＡでないとしたらこの塩酸ペロスピロンは掘れる fact28: その針生姜は分離し易い ; $hypothesis$ = この塩酸ペロスピロンは発揮し難くないがしかしあどけない ; $proof$ = 
void -> assump1: 以下のように仮定する。その針生姜は日本代表でない; fact24 & assump1 -> int1: 「この刺入部位は残るが突き飛ばすということはない」ということは誤りである; int1 & fact3 -> int2: この刺入部位は分離し易い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その針生姜は日本代表だ; int4 & fact14 -> int5: あの大蔵省預金部はブラッシュアップだ; fact11 & fact17 -> int6: あの大蔵省預金部はＮＳＡであるということはない; int5 & int6 -> int7: あの大蔵省預金部はブラッシュアップであるがしかしＮＳＡであるということはない; int7 & fact27 -> int8: この塩酸ペロスピロンは掘れる; fact20 -> int9: 仮にこの塩酸ペロスピロンは掘れるなら「発揮し難くないしおまけにそれはあどけない」ということは事実でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしもこの塩酸ペロスピロンは補聴器であるなら「それがあどけないしその上勇ましい」ということは事実でない
事実2: もし仮になにがしかのものはＮＳＡであるということはないなら「ブラッシュアップでそれは掘れない」ということは間違いである
事実3: 仮に「この刺入部位は残るがしかし突き飛ばさない」ということは成り立たないならば「それは分離し易い」ということは真実だ
事実4: この重圧は突き飛ばさない
事実5: この塩酸ペロスピロンが残るならそれは発揮し難い
事実6: この刺入部位はＮＳＡでない
事実7: もしもこの塩酸ペロスピロンがＮＳＡだとすればあの大蔵省預金部は掘れる
事実8: この刺入部位は分離し易くない
事実9: この塩酸ペロスピロンがブラッシュアップだけど御尻であるということはない
事実10: この刺入部位が突き飛ばすとすれば分離し易い
事実11: 「あの大蔵省預金部は胡散臭くない」ということは成り立つ
事実12: 「この塩酸ペロスピロンはあどけないしその上分離し易い」ということは誤りである
事実13: その針生姜がブラッシュアップだということはないとしたらこの塩酸ペロスピロンは分離し易くない
事実14: もし仮にその針生姜が日本代表だとするとあの大蔵省預金部はブラッシュアップだ
事実15: 「この塩酸ペロスピロンは日本代表でないけれど発揮し難い」ということは偽である
事実16: その針生姜は胡散臭くない
事実17: もしあの大蔵省預金部が胡散臭いということはないならばそれはＮＳＡだということはない
事実18: もしもなにかは掘れるとすると「それは発揮し難いしかつあどけない」ということは間違っている
事実19: 「仮にこの塩酸ペロスピロンが分離し易いけど突き飛ばさないとしたらこの刺入部位はあどけない」ということは確かだ
事実20: もし仮にあるものは掘れるなら「それは発揮し難いということはないし更にあどけない」ということは成り立つということはない
事実21: もし「あの大蔵省預金部はＮＳＡだがしかし掘れない」ということは成り立たないなら発揮し難い
事実22: もし仮にこの塩酸ペロスピロンは掘れるとすると「それは発揮し難いしまたあどけない」ということは間違っている
事実23: 仮になんらかのものは胡散臭いなら「分離し易くないしその上残る」ということは間違っている
事実24: もしその針生姜は日本代表でないならば「この刺入部位は残るけどそれは突き飛ばさない」ということは誤っている
事実25: もし仮になんらかの物は分離し易くないならそれは日本代表でない
事実26: その針生姜は発揮し難い
事実27: もしもあの大蔵省預金部がブラッシュアップだけれどＮＳＡでないとしたらこの塩酸ペロスピロンは掘れる
事実28: その針生姜は分離し易い

仮説: この塩酸ペロスピロンは発揮し難くないがしかしあどけない
1. 仮定1: 以下のように仮定する。その針生姜は日本代表でない
2. 事実24と仮定1から、推論1: "「この刺入部位は残るが突き飛ばすということはない」ということは誤りである"が導かれる
3. 推論1と事実3から、推論2: "この刺入部位は分離し易い"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その針生姜は日本代表だ"が導かれる
6. 推論4と事実14から、推論5: "あの大蔵省預金部はブラッシュアップだ"が導かれる
7. 事実11と事実17から、推論6: "あの大蔵省預金部はＮＳＡであるということはない"が導かれる
8. 推論5と推論6から、推論7: "あの大蔵省預金部はブラッシュアップであるがしかしＮＳＡであるということはない"が導かれる
9. 推論7と事実27から、推論8: "この塩酸ペロスピロンは掘れる"が導かれる
10. 事実20から、推論9: "仮にこの塩酸ペロスピロンは掘れるなら「発揮し難くないしおまけにそれはあどけない」ということは事実でない"が導かれる
11. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。