「もしもあの目先が派遣しないならこのネーバル黄銅は覆うしポール・ロワイヤルである」ということは成り立たない
fact1: 「「「砕け易くないし外発的報酬である」ということは成り立つ」ということは間違いな」ものはある fact2: 「このネーバル黄銅は外発的報酬である」ということは成り立つ fact3: もし何らかのものが育て易いとするとそれは覆う fact4: もし「頼み込む」物はあるなら「あの目先は架線でないがそれは迷信深い」ということは成り立たない fact5: もし仮に「あの目先は人魔神様だがしかしそれはし辛いということはない」ということは偽ならばそれは派遣する fact6: あの目先は若い fact7: もしなにがしかの物は覆わないならば「それは育て易くないけど派遣する」ということは成り立たない fact8: 仮に「「砕け易くないしさらに外発的報酬だ」ということは嘘である」ものがあるとしたらこのネーバル黄銅はポール・ロワイヤルだ fact9: 「「ポール・ロワイヤルでないしそれにし辛い」ということは成り立つということはない」ものはある fact10: あの目先は人魔神様であるがし辛くないなら頼み込む fact11: もし仮にこのネーバル黄銅が外発的報酬であるということはない一方でポール・ロワイヤルであるとしたら「それは覆わない」ということは成り立つ fact12: あの目先は派遣する一方で頼み込まないとすればそれは育て易い fact13: このネーバル黄銅はし辛いけど覆うということはないならば「それはポール・ロワイヤルである」ということは確かである fact14: 仮にあの目先が頼み込むとしたらこのネーバル黄銅は育て易い fact15: その接種後は外発的報酬である
void -> assump1: 以下のように仮定する。「あの目先は人魔神様であるがしかしし辛くない」ということは偽だ; fact5 & assump1 -> int1: あの目先は派遣する; void -> assump2: 以下のように仮定する。あの目先は派遣しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの目先は人魔神様だがしかしそれはし辛くない; int3 & fact10 -> int4: あの目先は頼み込む; int4 & fact14 -> int5: このネーバル黄銅は育て易い; fact3 -> int6: もしこのネーバル黄銅は育て易いとすれば「覆う」ということは確かである; int5 & int6 -> int7: 「このネーバル黄銅は覆う」ということは成り立つ; fact1 & fact8 -> int8: このネーバル黄銅はポール・ロワイヤルである; int7 & int8 -> int9: このネーバル黄銅は覆うしポール・ロワイヤルである; [assump2] & int9 -> hypothesis;
「「架線でないけれど迷信深い」ということは誤りな」ものはある
fact18 -> int10: このネーバル黄銅は覆わないならば「それは育て易くないが派遣する」ということは真実でない;
$facts$ = fact1: 「「「砕け易くないし外発的報酬である」ということは成り立つ」ということは間違いな」ものはある fact2: 「このネーバル黄銅は外発的報酬である」ということは成り立つ fact3: もし何らかのものが育て易いとするとそれは覆う fact4: もし「頼み込む」物はあるなら「あの目先は架線でないがそれは迷信深い」ということは成り立たない fact5: もし仮に「あの目先は人魔神様だがしかしそれはし辛いということはない」ということは偽ならばそれは派遣する fact6: あの目先は若い fact7: もしなにがしかの物は覆わないならば「それは育て易くないけど派遣する」ということは成り立たない fact8: 仮に「「砕け易くないしさらに外発的報酬だ」ということは嘘である」ものがあるとしたらこのネーバル黄銅はポール・ロワイヤルだ fact9: 「「ポール・ロワイヤルでないしそれにし辛い」ということは成り立つということはない」ものはある fact10: あの目先は人魔神様であるがし辛くないなら頼み込む fact11: もし仮にこのネーバル黄銅が外発的報酬であるということはない一方でポール・ロワイヤルであるとしたら「それは覆わない」ということは成り立つ fact12: あの目先は派遣する一方で頼み込まないとすればそれは育て易い fact13: このネーバル黄銅はし辛いけど覆うということはないならば「それはポール・ロワイヤルである」ということは確かである fact14: 仮にあの目先が頼み込むとしたらこのネーバル黄銅は育て易い fact15: その接種後は外発的報酬である ; $hypothesis$ = 「もしもあの目先が派遣しないならこのネーバル黄銅は覆うしポール・ロワイヤルである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの目先は人魔神様であるがしかしし辛くない」ということは偽だ; fact5 & assump1 -> int1: あの目先は派遣する; void -> assump2: 以下のように仮定する。あの目先は派遣しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの目先は人魔神様だがしかしそれはし辛くない; int3 & fact10 -> int4: あの目先は頼み込む; int4 & fact14 -> int5: このネーバル黄銅は育て易い; fact3 -> int6: もしこのネーバル黄銅は育て易いとすれば「覆う」ということは確かである; int5 & int6 -> int7: 「このネーバル黄銅は覆う」ということは成り立つ; fact1 & fact8 -> int8: このネーバル黄銅はポール・ロワイヤルである; int7 & int8 -> int9: このネーバル黄銅は覆うしポール・ロワイヤルである; [assump2] & int9 -> hypothesis; __DISPROVED__
事実1: 「「「砕け易くないし外発的報酬である」ということは成り立つ」ということは間違いな」ものはある
事実2: 「このネーバル黄銅は外発的報酬である」ということは成り立つ
事実3: もし何らかのものが育て易いとするとそれは覆う
事実4: もし「頼み込む」物はあるなら「あの目先は架線でないがそれは迷信深い」ということは成り立たない
事実5: もし仮に「あの目先は人魔神様だがしかしそれはし辛いということはない」ということは偽ならばそれは派遣する
事実6: あの目先は若い
事実7: もしなにがしかの物は覆わないならば「それは育て易くないけど派遣する」ということは成り立たない
事実8: 仮に「「砕け易くないしさらに外発的報酬だ」ということは嘘である」ものがあるとしたらこのネーバル黄銅はポール・ロワイヤルだ
事実9: 「「ポール・ロワイヤルでないしそれにし辛い」ということは成り立つということはない」ものはある
事実10: あの目先は人魔神様であるがし辛くないなら頼み込む
事実11: もし仮にこのネーバル黄銅が外発的報酬であるということはない一方でポール・ロワイヤルであるとしたら「それは覆わない」ということは成り立つ
事実12: あの目先は派遣する一方で頼み込まないとすればそれは育て易い
事実13: このネーバル黄銅はし辛いけど覆うということはないならば「それはポール・ロワイヤルである」ということは確かである
事実14: 仮にあの目先が頼み込むとしたらこのネーバル黄銅は育て易い
事実15: その接種後は外発的報酬である

仮説: 「もしもあの目先が派遣しないならこのネーバル黄銅は覆うしポール・ロワイヤルである」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの目先は人魔神様であるがしかしし辛くない」ということは偽だ
2. 事実5と仮定1から、推論1: "あの目先は派遣する"が導かれる
3. 仮定2: 以下のように仮定する。あの目先は派遣しない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの目先は人魔神様だがしかしそれはし辛くない"が導かれる
6. 推論3と事実10から、推論4: "あの目先は頼み込む"が導かれる
7. 推論4と事実14から、推論5: "このネーバル黄銅は育て易い"が導かれる
8. 事実3から、推論6: "もしこのネーバル黄銅は育て易いとすれば「覆う」ということは確かである"が導かれる
9. 推論5と推論6から、推論7: "「このネーバル黄銅は覆う」ということは成り立つ"が導かれる
10. 事実1と事実8から、推論8: "このネーバル黄銅はポール・ロワイヤルである"が導かれる
11. 推論7と推論8から、推論9: "このネーバル黄銅は覆うしポール・ロワイヤルである"が導かれる
12. [仮定2]と推論9から、仮説が否定される

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