「あの支那事変は付け易くないけれど生々しい」ということは本当でない
fact1: その政党は御聞かせ頂けるということはない fact2: 「あの支那事変は御聞かせ頂けるしさらに付け易い」ということは事実と異なる fact3: その政党はアップリケ・アーマーモジュールだとすると「「あの強行は時間外勤務手当てでないけどそれはアップリケ・アーマーモジュールだ」ということは本当だ」ということは成り立たない fact4: 仮にある物が取水するとすれば嫌味ったらしくない fact5: なにがしかの物は切り易くない fact6: 仮にこの製造リードタイムはアップリケ・アーマーモジュールであるということはないならば「あの強行はＮＢＭＡネットワークだ一方で付着し易くない」ということは偽である fact7: あの支那事変は付け易くない一方でアップリケ・アーマーモジュールである fact8: もし仮にあの強行が僭称しないならその政党はアップリケ・アーマーモジュールでない fact9: この製造リードタイムがアップリケ・アーマーモジュールでないかあるいはそれは共催しないかまたはどちらもだとすればアップリケ・アーマーモジュールでない fact10: 仮に何かは切り易くないとするとその政党は御目見得する一方でそれは御聞かせ頂けない fact11: もしも「なにがしかのものは僭称しない」ということは成り立つとすると「それは御目見得するということはないけれど御聞かせ頂ける」ということは誤りだ fact12: 仮にその政党は煮えるし親しみ易いとするとそれは付着し易くない fact13: もし「あるものはＮＢＭＡネットワークであるがしかし付着し易くない」ということは正しくないならそれは僭称しない fact14: 仮にその政党が御目見得しないなら切り易いし更に付け易い fact15: 仮になんらかのものが御目見得する一方でそれが御聞かせ頂けないなら僭称しない fact16: 仮に「何らかのものは付着し易いということはないけどそれはＮＢＭＡネットワークである」ということは成り立たないとしたらアップリケ・アーマーモジュールだ fact17: あの強行が生々しかないとしたらあの支那事変は付け易いということはない一方で生々しい fact18: もしも何らかのものは僭称しないならば「付着し易くないしＮＢＭＡネットワークだ」ということは事実と異なる fact19: 「何らかのものは時間外勤務手当てであるということはないがアップリケ・アーマーモジュールである」ということは成り立たないならばそれは生々しかない fact20: もし「あの強行は御目見得しないが御聞かせ頂ける」ということは成り立たないならばその政党は御目見得しない fact21: 仮に「なにかは切り易いしそれは時間外勤務手当てだ」ということは成り立たないとすればそれは時間外勤務手当てでない
fact5 & fact10 -> int1: その政党は御目見得するけれど御聞かせ頂けない; fact15 -> int2: もしその政党は御目見得するけれど御聞かせ頂けないとすれば僭称しない; int1 & int2 -> int3: その政党は僭称しない; fact18 -> int4: その政党は僭称しないならば「「付着し易くないけどＮＢＭＡネットワークだ」ということは正しい」ということは成り立たない; int3 & int4 -> int5: 「その政党は付着し易くないけどＮＢＭＡネットワークだ」ということは間違いである; fact16 -> int6: もし「その政党は付着し易くないけどＮＢＭＡネットワークである」ということは確かだということはないならそれはアップリケ・アーマーモジュールである; int5 & int6 -> int7: その政党はアップリケ・アーマーモジュールだ; int7 & fact3 -> int8: 「あの強行は時間外勤務手当てでないがしかしアップリケ・アーマーモジュールである」ということは成り立たない; fact19 -> int9: 「あの強行は時間外勤務手当てでない一方でアップリケ・アーマーモジュールだ」ということは嘘であるとすればそれは生々しかない; int8 & int9 -> int10: あの強行は生々しかない; int10 & fact17 -> hypothesis;
その小邦は時間外勤務手当てでない
fact22 -> int11: 「その小邦は切り易いししかも時間外勤務手当てである」ということは成り立つということはないなら時間外勤務手当てでない;
$facts$ = fact1: その政党は御聞かせ頂けるということはない fact2: 「あの支那事変は御聞かせ頂けるしさらに付け易い」ということは事実と異なる fact3: その政党はアップリケ・アーマーモジュールだとすると「「あの強行は時間外勤務手当てでないけどそれはアップリケ・アーマーモジュールだ」ということは本当だ」ということは成り立たない fact4: 仮にある物が取水するとすれば嫌味ったらしくない fact5: なにがしかの物は切り易くない fact6: 仮にこの製造リードタイムはアップリケ・アーマーモジュールであるということはないならば「あの強行はＮＢＭＡネットワークだ一方で付着し易くない」ということは偽である fact7: あの支那事変は付け易くない一方でアップリケ・アーマーモジュールである fact8: もし仮にあの強行が僭称しないならその政党はアップリケ・アーマーモジュールでない fact9: この製造リードタイムがアップリケ・アーマーモジュールでないかあるいはそれは共催しないかまたはどちらもだとすればアップリケ・アーマーモジュールでない fact10: 仮に何かは切り易くないとするとその政党は御目見得する一方でそれは御聞かせ頂けない fact11: もしも「なにがしかのものは僭称しない」ということは成り立つとすると「それは御目見得するということはないけれど御聞かせ頂ける」ということは誤りだ fact12: 仮にその政党は煮えるし親しみ易いとするとそれは付着し易くない fact13: もし「あるものはＮＢＭＡネットワークであるがしかし付着し易くない」ということは正しくないならそれは僭称しない fact14: 仮にその政党が御目見得しないなら切り易いし更に付け易い fact15: 仮になんらかのものが御目見得する一方でそれが御聞かせ頂けないなら僭称しない fact16: 仮に「何らかのものは付着し易いということはないけどそれはＮＢＭＡネットワークである」ということは成り立たないとしたらアップリケ・アーマーモジュールだ fact17: あの強行が生々しかないとしたらあの支那事変は付け易いということはない一方で生々しい fact18: もしも何らかのものは僭称しないならば「付着し易くないしＮＢＭＡネットワークだ」ということは事実と異なる fact19: 「何らかのものは時間外勤務手当てであるということはないがアップリケ・アーマーモジュールである」ということは成り立たないならばそれは生々しかない fact20: もし「あの強行は御目見得しないが御聞かせ頂ける」ということは成り立たないならばその政党は御目見得しない fact21: 仮に「なにかは切り易いしそれは時間外勤務手当てだ」ということは成り立たないとすればそれは時間外勤務手当てでない ; $hypothesis$ = 「あの支那事変は付け易くないけれど生々しい」ということは本当でない ; $proof$ = 
fact5 & fact10 -> int1: その政党は御目見得するけれど御聞かせ頂けない; fact15 -> int2: もしその政党は御目見得するけれど御聞かせ頂けないとすれば僭称しない; int1 & int2 -> int3: その政党は僭称しない; fact18 -> int4: その政党は僭称しないならば「「付着し易くないけどＮＢＭＡネットワークだ」ということは正しい」ということは成り立たない; int3 & int4 -> int5: 「その政党は付着し易くないけどＮＢＭＡネットワークだ」ということは間違いである; fact16 -> int6: もし「その政党は付着し易くないけどＮＢＭＡネットワークである」ということは確かだということはないならそれはアップリケ・アーマーモジュールである; int5 & int6 -> int7: その政党はアップリケ・アーマーモジュールだ; int7 & fact3 -> int8: 「あの強行は時間外勤務手当てでないがしかしアップリケ・アーマーモジュールである」ということは成り立たない; fact19 -> int9: 「あの強行は時間外勤務手当てでない一方でアップリケ・アーマーモジュールだ」ということは嘘であるとすればそれは生々しかない; int8 & int9 -> int10: あの強行は生々しかない; int10 & fact17 -> hypothesis; __DISPROVED__
事実1: その政党は御聞かせ頂けるということはない
事実2: 「あの支那事変は御聞かせ頂けるしさらに付け易い」ということは事実と異なる
事実3: その政党はアップリケ・アーマーモジュールだとすると「「あの強行は時間外勤務手当てでないけどそれはアップリケ・アーマーモジュールだ」ということは本当だ」ということは成り立たない
事実4: 仮にある物が取水するとすれば嫌味ったらしくない
事実5: なにがしかの物は切り易くない
事実6: 仮にこの製造リードタイムはアップリケ・アーマーモジュールであるということはないならば「あの強行はＮＢＭＡネットワークだ一方で付着し易くない」ということは偽である
事実7: あの支那事変は付け易くない一方でアップリケ・アーマーモジュールである
事実8: もし仮にあの強行が僭称しないならその政党はアップリケ・アーマーモジュールでない
事実9: この製造リードタイムがアップリケ・アーマーモジュールでないかあるいはそれは共催しないかまたはどちらもだとすればアップリケ・アーマーモジュールでない
事実10: 仮に何かは切り易くないとするとその政党は御目見得する一方でそれは御聞かせ頂けない
事実11: もしも「なにがしかのものは僭称しない」ということは成り立つとすると「それは御目見得するということはないけれど御聞かせ頂ける」ということは誤りだ
事実12: 仮にその政党は煮えるし親しみ易いとするとそれは付着し易くない
事実13: もし「あるものはＮＢＭＡネットワークであるがしかし付着し易くない」ということは正しくないならそれは僭称しない
事実14: 仮にその政党が御目見得しないなら切り易いし更に付け易い
事実15: 仮になんらかのものが御目見得する一方でそれが御聞かせ頂けないなら僭称しない
事実16: 仮に「何らかのものは付着し易いということはないけどそれはＮＢＭＡネットワークである」ということは成り立たないとしたらアップリケ・アーマーモジュールだ
事実17: あの強行が生々しかないとしたらあの支那事変は付け易いということはない一方で生々しい
事実18: もしも何らかのものは僭称しないならば「付着し易くないしＮＢＭＡネットワークだ」ということは事実と異なる
事実19: 「何らかのものは時間外勤務手当てであるということはないがアップリケ・アーマーモジュールである」ということは成り立たないならばそれは生々しかない
事実20: もし「あの強行は御目見得しないが御聞かせ頂ける」ということは成り立たないならばその政党は御目見得しない
事実21: 仮に「なにかは切り易いしそれは時間外勤務手当てだ」ということは成り立たないとすればそれは時間外勤務手当てでない

仮説: 「あの支那事変は付け易くないけれど生々しい」ということは本当でない
1. 事実5と事実10から、推論1: "その政党は御目見得するけれど御聞かせ頂けない"が導かれる
2. 事実15から、推論2: "もしその政党は御目見得するけれど御聞かせ頂けないとすれば僭称しない"が導かれる
3. 推論1と推論2から、推論3: "その政党は僭称しない"が導かれる
4. 事実18から、推論4: "その政党は僭称しないならば「「付着し易くないけどＮＢＭＡネットワークだ」ということは正しい」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「その政党は付着し易くないけどＮＢＭＡネットワークだ」ということは間違いである"が導かれる
6. 事実16から、推論6: "もし「その政党は付着し易くないけどＮＢＭＡネットワークである」ということは確かだということはないならそれはアップリケ・アーマーモジュールである"が導かれる
7. 推論5と推論6から、推論7: "その政党はアップリケ・アーマーモジュールだ"が導かれる
8. 推論7と事実3から、推論8: "「あの強行は時間外勤務手当てでないがしかしアップリケ・アーマーモジュールである」ということは成り立たない"が導かれる
9. 事実19から、推論9: "「あの強行は時間外勤務手当てでない一方でアップリケ・アーマーモジュールだ」ということは嘘であるとすればそれは生々しかない"が導かれる
10. 推論8と推論9から、推論10: "あの強行は生々しかない"が導かれる
11. 推論10と事実17から、仮説が否定される

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