あの指導過程は抹消しない
fact1: このＢＵＮＤは故国で更にそれは陥り易い fact2: あの指導過程が撫で下ろすとすれば抹消する fact3: その宮川朝市は撫で下ろす fact4: あのＵＫＵＳＡ同盟傘下は生み易くてさらに抹消する fact5: 「「あの指導過程は近接するし撫で下ろす」ということは確かである」ということは間違っている fact6: 「「あの指導過程は近接するけれど無制限納税義務者でない」ということは正しい」ということは正しいということはない fact7: 仮にあの指導過程は故国でないとすると「このＢＵＮＤは撫で下ろすが離れ難くない」ということは嘘だ fact8: もしも「このＢＵＮＤは近接するが陥り易くない」ということは正しくないとしたらそれは抹消する fact9: このＢＵＮＤは抹消する fact10: あの指導過程は故国だ fact11: もしも「なにかは近接するけど撫で下ろさない」ということは成り立たないなら抹消する fact12: もし仮にあの指導過程は陥り易いなら「このＢＵＮＤは抹消するし撫で下ろす」ということは嘘だ fact13: もしもこのＢＵＮＤは故国ならば「あの指導過程は近接するがそれは撫で下ろさない」ということは誤りである fact14: あの指導過程は切れ易くて更に醜い fact15: その心情圏転換は撫で下ろす fact16: 「なんらかの物は撫で下ろすけど抹消しない」ということは偽だとするとそれは陥り易い fact17: もし「なにがしかのものは抹消するがそれは撫で下ろすということはない」ということは成り立たないならそれは故国だ
fact1 -> int1: このＢＵＮＤは故国である; int1 & fact13 -> int2: 「あの指導過程は近接するが撫で下ろすということはない」ということは成り立たない; fact11 -> int3: もし「あの指導過程は近接する一方でそれは撫で下ろすということはない」ということは間違いであるならば抹消する; int2 & int3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact13 -> int2: ¬({C}{b} & ¬{D}{b}); fact11 -> int3: ¬({C}{b} & ¬{D}{b}) -> {E}{b}; int2 & int3 -> hypothesis;
「このＢＵＮＤは撫で下ろすがそれは離れ難くない」ということは誤りである
$facts$ = fact1: このＢＵＮＤは故国で更にそれは陥り易い fact2: あの指導過程が撫で下ろすとすれば抹消する fact3: その宮川朝市は撫で下ろす fact4: あのＵＫＵＳＡ同盟傘下は生み易くてさらに抹消する fact5: 「「あの指導過程は近接するし撫で下ろす」ということは確かである」ということは間違っている fact6: 「「あの指導過程は近接するけれど無制限納税義務者でない」ということは正しい」ということは正しいということはない fact7: 仮にあの指導過程は故国でないとすると「このＢＵＮＤは撫で下ろすが離れ難くない」ということは嘘だ fact8: もしも「このＢＵＮＤは近接するが陥り易くない」ということは正しくないとしたらそれは抹消する fact9: このＢＵＮＤは抹消する fact10: あの指導過程は故国だ fact11: もしも「なにかは近接するけど撫で下ろさない」ということは成り立たないなら抹消する fact12: もし仮にあの指導過程は陥り易いなら「このＢＵＮＤは抹消するし撫で下ろす」ということは嘘だ fact13: もしもこのＢＵＮＤは故国ならば「あの指導過程は近接するがそれは撫で下ろさない」ということは誤りである fact14: あの指導過程は切れ易くて更に醜い fact15: その心情圏転換は撫で下ろす fact16: 「なんらかの物は撫で下ろすけど抹消しない」ということは偽だとするとそれは陥り易い fact17: もし「なにがしかのものは抹消するがそれは撫で下ろすということはない」ということは成り立たないならそれは故国だ ; $hypothesis$ = あの指導過程は抹消しない ; $proof$ = 
fact1 -> int1: このＢＵＮＤは故国である; int1 & fact13 -> int2: 「あの指導過程は近接するが撫で下ろすということはない」ということは成り立たない; fact11 -> int3: もし「あの指導過程は近接する一方でそれは撫で下ろすということはない」ということは間違いであるならば抹消する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: このＢＵＮＤは故国で更にそれは陥り易い
事実2: あの指導過程が撫で下ろすとすれば抹消する
事実3: その宮川朝市は撫で下ろす
事実4: あのＵＫＵＳＡ同盟傘下は生み易くてさらに抹消する
事実5: 「「あの指導過程は近接するし撫で下ろす」ということは確かである」ということは間違っている
事実6: 「「あの指導過程は近接するけれど無制限納税義務者でない」ということは正しい」ということは正しいということはない
事実7: 仮にあの指導過程は故国でないとすると「このＢＵＮＤは撫で下ろすが離れ難くない」ということは嘘だ
事実8: もしも「このＢＵＮＤは近接するが陥り易くない」ということは正しくないとしたらそれは抹消する
事実9: このＢＵＮＤは抹消する
事実10: あの指導過程は故国だ
事実11: もしも「なにかは近接するけど撫で下ろさない」ということは成り立たないなら抹消する
事実12: もし仮にあの指導過程は陥り易いなら「このＢＵＮＤは抹消するし撫で下ろす」ということは嘘だ
事実13: もしもこのＢＵＮＤは故国ならば「あの指導過程は近接するがそれは撫で下ろさない」ということは誤りである
事実14: あの指導過程は切れ易くて更に醜い
事実15: その心情圏転換は撫で下ろす
事実16: 「なんらかの物は撫で下ろすけど抹消しない」ということは偽だとするとそれは陥り易い
事実17: もし「なにがしかのものは抹消するがそれは撫で下ろすということはない」ということは成り立たないならそれは故国だ

仮説: あの指導過程は抹消しない
1. 事実1から、推論1: "このＢＵＮＤは故国である"が導かれる
2. 推論1と事実13から、推論2: "「あの指導過程は近接するが撫で下ろすということはない」ということは成り立たない"が導かれる
3. 事実11から、推論3: "もし「あの指導過程は近接する一方でそれは撫で下ろすということはない」ということは間違いであるならば抹消する"が導かれる
4. 推論2と推論3から、仮説が否定される

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