「仮にあの懐紙が成り難いとするとそのオーバーコートは背馳しない」ということは成り立たない
fact1: なにがしかのものは除去しないとしたら「それは来着するかもしくはそれは小さくない」ということは確かだ fact2: もし仮に「この牢獄はえぐい一方でそれは清いということはない」ということは事実と異なるとするとあの懐紙は除去しない fact3: 「あの頸管はピンスネ巫女であるか初々しいかまたは両方だ」ということは間違っているとすればあの懐紙は成り難い fact4: 仮にそのオーバーコートは初々しかないとしたら「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方ともだ」ということは成り立たない fact5: 「この牢獄はえぐいけど清くない」ということは成り立たない fact6: もしもそのオーバーコートが成り難いならその戦車隊は初々しかないしそれは背馳しない fact7: もしそのオーバーコートが背馳するとすれば初々しかない fact8: もし「あの頸管はピンスネ巫女であるかあるいは初々しいかまたは両方ともである」ということは事実と異なるとすればあの懐紙は成り難いということはない fact9: すりゃ良くないものはピンスネ巫女であるしおまけに成り難い fact10: もしもあの頸管が痺れないとすればそのオーバーコートはすりゃ良いということはない
void -> assump1: 以下のように仮定する。そのオーバーコートは背馳する; fact7 & assump1 -> int1: そのオーバーコートは初々しかない; int1 & fact4 -> int2: 「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方だ」ということは間違いだ; int2 & fact8 -> int3: あの懐紙は成り難くない; void -> assump2: 以下のように仮定する。あの懐紙は成り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのオーバーコートは背馳するということはない; [assump2] & int5 -> hypothesis;
その戦車隊は初々しいということはない
fact15 -> int6: もし仮にそのオーバーコートがすりゃ良くないとしたらそれはピンスネ巫女でその上成り難い; fact14 -> int7: 仮にあの懐紙が除去しないとするとそれは来着するかまたは小さくないかまたはどちらもである; fact13 & fact12 -> int8: あの懐紙は除去しない; int7 & int8 -> int9: あの懐紙は来着するか小さくないかどちらもだ; int9 -> int10: 「来着するかまたは小さいということはないかまたはどちらもである」物はある;
$facts$ = fact1: なにがしかのものは除去しないとしたら「それは来着するかもしくはそれは小さくない」ということは確かだ fact2: もし仮に「この牢獄はえぐい一方でそれは清いということはない」ということは事実と異なるとするとあの懐紙は除去しない fact3: 「あの頸管はピンスネ巫女であるか初々しいかまたは両方だ」ということは間違っているとすればあの懐紙は成り難い fact4: 仮にそのオーバーコートは初々しかないとしたら「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方ともだ」ということは成り立たない fact5: 「この牢獄はえぐいけど清くない」ということは成り立たない fact6: もしもそのオーバーコートが成り難いならその戦車隊は初々しかないしそれは背馳しない fact7: もしそのオーバーコートが背馳するとすれば初々しかない fact8: もし「あの頸管はピンスネ巫女であるかあるいは初々しいかまたは両方ともである」ということは事実と異なるとすればあの懐紙は成り難いということはない fact9: すりゃ良くないものはピンスネ巫女であるしおまけに成り難い fact10: もしもあの頸管が痺れないとすればそのオーバーコートはすりゃ良いということはない ; $hypothesis$ = 「仮にあの懐紙が成り難いとするとそのオーバーコートは背馳しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのオーバーコートは背馳する; fact7 & assump1 -> int1: そのオーバーコートは初々しかない; int1 & fact4 -> int2: 「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方だ」ということは間違いだ; int2 & fact8 -> int3: あの懐紙は成り難くない; void -> assump2: 以下のように仮定する。あの懐紙は成り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのオーバーコートは背馳するということはない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは除去しないとしたら「それは来着するかもしくはそれは小さくない」ということは確かだ
事実2: もし仮に「この牢獄はえぐい一方でそれは清いということはない」ということは事実と異なるとするとあの懐紙は除去しない
事実3: 「あの頸管はピンスネ巫女であるか初々しいかまたは両方だ」ということは間違っているとすればあの懐紙は成り難い
事実4: 仮にそのオーバーコートは初々しかないとしたら「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方ともだ」ということは成り立たない
事実5: 「この牢獄はえぐいけど清くない」ということは成り立たない
事実6: もしもそのオーバーコートが成り難いならその戦車隊は初々しかないしそれは背馳しない
事実7: もしそのオーバーコートが背馳するとすれば初々しかない
事実8: もし「あの頸管はピンスネ巫女であるかあるいは初々しいかまたは両方ともである」ということは事実と異なるとすればあの懐紙は成り難いということはない
事実9: すりゃ良くないものはピンスネ巫女であるしおまけに成り難い
事実10: もしもあの頸管が痺れないとすればそのオーバーコートはすりゃ良いということはない

仮説: 「仮にあの懐紙が成り難いとするとそのオーバーコートは背馳しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのオーバーコートは背馳する
2. 事実7と仮定1から、推論1: "そのオーバーコートは初々しかない"が導かれる
3. 推論1と事実4から、推論2: "「あの頸管はピンスネ巫女であるかあるいは初々しいかもしくは両方だ」ということは間違いだ"が導かれる
4. 推論2と事実8から、推論3: "あの懐紙は成り難くない"が導かれる
5. 仮定2: 以下のように仮定する。あの懐紙は成り難い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "そのオーバーコートは背馳するということはない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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