「あの応手は遅れ易い」ということは真実だ
fact1: 「その戦争放棄は長繊維であるし更に付着係数である」ということは成り立つ fact2: その心地良さが制御メッセージならばその戦争放棄は国対政治である fact3: もし仮にあの日直司令官が国対政治であるとするとこのミセス・キングは国対政治だ fact4: その戦争放棄は長繊維であるしさらに国対政治であるならば「あの応手は遅れ易くない」ということは成り立つ fact5: その心地良さは表層部分であるかまたは制御メッセージであるかまたは両方だ fact6: もしも「その心地良さは表層部分である」ということは真実だとするとその戦争放棄は国対政治だ fact7: あの応手は付着係数だ fact8: あの経済摩擦は制御メッセージである fact9: 「なにかは付着係数でない」ということは真実だ fact10: もし仮に「表層部分な」物はあるなら「その心地良さは制御メッセージでなくておまけに遅れ易くない」ということは成り立たない fact11: 「もし仮にこのミセス・キングが国対政治だとすればその戦争放棄は長繊維でないかそれは表層部分であるかあるいはどちらもだ」ということは本当だ fact12: もし仮になにかはちっちゃくないとしたらそれは破砕するがしかし起こさない fact13: 仮にその郷土史家が付着係数であるとしたらあの日直司令官は国対政治である fact14: その戦争放棄は付着係数だ fact15: 「破砕する」物があればその郷土史家は付着係数であるし加えて汚れ易い fact16: もしもなんらかの物が長繊維でないかもしくは表層部分であるかもしくはどちらもであるならば表層部分である fact17: 仮にあの応手が国対政治であるということはないかもしくは遅れ易いかまたは両方であるとするとその心地良さは国対政治でない fact18: 「その三派はちっちゃくない」ということは成り立つ
fact5 & fact6 & fact2 -> int1: その戦争放棄は国対政治だ; fact1 -> int2: その戦争放棄は長繊維だ; int1 & int2 -> int3: その戦争放棄は長繊維であるし国対政治だ; int3 & fact4 -> hypothesis;
あの応手は遅れ易い
fact26 -> int4: もし仮にその戦争放棄が長繊維であるということはないかそれは表層部分であるかあるいはどちらもであるとすれば「表層部分でない」ということは間違いである; fact23 -> int5: もしその三派がちっちゃくないとしたら破砕するけど起こさない; int5 & fact22 -> int6: その三派は破砕するけどそれは起こさない; int6 -> int7: その三派は破砕する; int7 -> int8: 「破砕する」ものはある; int8 & fact25 -> int9: その郷土史家は付着係数であるし汚れ易い; int9 -> int10: 「その郷土史家は付着係数でない」ということは正しいということはない; fact20 & int10 -> int11: あの日直司令官は国対政治である; fact24 & int11 -> int12: このミセス・キングは国対政治だ; fact19 & int12 -> int13: その戦争放棄は長繊維でないかあるいは表層部分である; int4 & int13 -> int14: その戦争放棄は表層部分である; int14 -> int15: 「表層部分な」物はある; int15 & fact21 -> int16: 「その心地良さは制御メッセージでなくて加えて遅れ易くない」ということは成り立つということはない; int16 -> int17: 「「制御メッセージでなくて加えて遅れ易くない」ということは成り立たない」ものはある;
$facts$ = fact1: 「その戦争放棄は長繊維であるし更に付着係数である」ということは成り立つ fact2: その心地良さが制御メッセージならばその戦争放棄は国対政治である fact3: もし仮にあの日直司令官が国対政治であるとするとこのミセス・キングは国対政治だ fact4: その戦争放棄は長繊維であるしさらに国対政治であるならば「あの応手は遅れ易くない」ということは成り立つ fact5: その心地良さは表層部分であるかまたは制御メッセージであるかまたは両方だ fact6: もしも「その心地良さは表層部分である」ということは真実だとするとその戦争放棄は国対政治だ fact7: あの応手は付着係数だ fact8: あの経済摩擦は制御メッセージである fact9: 「なにかは付着係数でない」ということは真実だ fact10: もし仮に「表層部分な」物はあるなら「その心地良さは制御メッセージでなくておまけに遅れ易くない」ということは成り立たない fact11: 「もし仮にこのミセス・キングが国対政治だとすればその戦争放棄は長繊維でないかそれは表層部分であるかあるいはどちらもだ」ということは本当だ fact12: もし仮になにかはちっちゃくないとしたらそれは破砕するがしかし起こさない fact13: 仮にその郷土史家が付着係数であるとしたらあの日直司令官は国対政治である fact14: その戦争放棄は付着係数だ fact15: 「破砕する」物があればその郷土史家は付着係数であるし加えて汚れ易い fact16: もしもなんらかの物が長繊維でないかもしくは表層部分であるかもしくはどちらもであるならば表層部分である fact17: 仮にあの応手が国対政治であるということはないかもしくは遅れ易いかまたは両方であるとするとその心地良さは国対政治でない fact18: 「その三派はちっちゃくない」ということは成り立つ ; $hypothesis$ = 「あの応手は遅れ易い」ということは真実だ ; $proof$ = 
fact5 & fact6 & fact2 -> int1: その戦争放棄は国対政治だ; fact1 -> int2: その戦争放棄は長繊維だ; int1 & int2 -> int3: その戦争放棄は長繊維であるし国対政治だ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「その戦争放棄は長繊維であるし更に付着係数である」ということは成り立つ
事実2: その心地良さが制御メッセージならばその戦争放棄は国対政治である
事実3: もし仮にあの日直司令官が国対政治であるとするとこのミセス・キングは国対政治だ
事実4: その戦争放棄は長繊維であるしさらに国対政治であるならば「あの応手は遅れ易くない」ということは成り立つ
事実5: その心地良さは表層部分であるかまたは制御メッセージであるかまたは両方だ
事実6: もしも「その心地良さは表層部分である」ということは真実だとするとその戦争放棄は国対政治だ
事実7: あの応手は付着係数だ
事実8: あの経済摩擦は制御メッセージである
事実9: 「なにかは付着係数でない」ということは真実だ
事実10: もし仮に「表層部分な」物はあるなら「その心地良さは制御メッセージでなくておまけに遅れ易くない」ということは成り立たない
事実11: 「もし仮にこのミセス・キングが国対政治だとすればその戦争放棄は長繊維でないかそれは表層部分であるかあるいはどちらもだ」ということは本当だ
事実12: もし仮になにかはちっちゃくないとしたらそれは破砕するがしかし起こさない
事実13: 仮にその郷土史家が付着係数であるとしたらあの日直司令官は国対政治である
事実14: その戦争放棄は付着係数だ
事実15: 「破砕する」物があればその郷土史家は付着係数であるし加えて汚れ易い
事実16: もしもなんらかの物が長繊維でないかもしくは表層部分であるかもしくはどちらもであるならば表層部分である
事実17: 仮にあの応手が国対政治であるということはないかもしくは遅れ易いかまたは両方であるとするとその心地良さは国対政治でない
事実18: 「その三派はちっちゃくない」ということは成り立つ

仮説: 「あの応手は遅れ易い」ということは真実だ
1. 事実5と事実6と事実2から、推論1: "その戦争放棄は国対政治だ"が導かれる
2. 事実1から、推論2: "その戦争放棄は長繊維だ"が導かれる
3. 推論1と推論2から、推論3: "その戦争放棄は長繊維であるし国対政治だ"が導かれる
4. 推論3と事実4から、仮説が否定される

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