その総合性は宣言すらない
fact1: もしもその遍路がだらし無いとするとその国際的動向は出し難い fact2: 仮にその新戦略が通じる一方でそれが少数言語話者でないとすればその総合性は宣言す fact3: その国際的動向は梁間だ一方で発揮すらない fact4: もしとある物が梁間だということはないならそれはだらし無くないし出し難くない fact5: 「その新戦略は通じるが少数言語話者でない」ということは間違いであるとすると「その遍路はだらし無い」ということは正しい fact6: もしもその国際的動向が梁間だけど発揮すらないならばそれは出し難くない fact7: もしもとあるものはだらし無いということはないしそれに出し難くないならば宣言すらない
void -> assump1: 以下のように仮定する。「その新戦略は通じるがそれは少数言語話者でない」ということは誤りだ; fact5 & assump1 -> int1: その遍路はだらし無い; int1 & fact1 -> int2: 「その国際的動向は出し難くない」ということは成り立たない; fact3 & fact6 -> int3: その国際的動向は出し難いということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その新戦略は通じるけれど少数言語話者であるということはない; int5 & fact2 -> hypothesis;
その総合性は宣言すらない
fact9 -> int6: もし仮にその総合性はだらし無くなくて更に出し難いということはないならば「宣言すらない」ということは確かである; fact8 -> int7: その総合性が梁間でないとすればそれはだらし無くないしそれは出し難くない;
$facts$ = fact1: もしもその遍路がだらし無いとするとその国際的動向は出し難い fact2: 仮にその新戦略が通じる一方でそれが少数言語話者でないとすればその総合性は宣言す fact3: その国際的動向は梁間だ一方で発揮すらない fact4: もしとある物が梁間だということはないならそれはだらし無くないし出し難くない fact5: 「その新戦略は通じるが少数言語話者でない」ということは間違いであるとすると「その遍路はだらし無い」ということは正しい fact6: もしもその国際的動向が梁間だけど発揮すらないならばそれは出し難くない fact7: もしもとあるものはだらし無いということはないしそれに出し難くないならば宣言すらない ; $hypothesis$ = その総合性は宣言すらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その新戦略は通じるがそれは少数言語話者でない」ということは誤りだ; fact5 & assump1 -> int1: その遍路はだらし無い; int1 & fact1 -> int2: 「その国際的動向は出し難くない」ということは成り立たない; fact3 & fact6 -> int3: その国際的動向は出し難いということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その新戦略は通じるけれど少数言語話者であるということはない; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもその遍路がだらし無いとするとその国際的動向は出し難い
事実2: 仮にその新戦略が通じる一方でそれが少数言語話者でないとすればその総合性は宣言す
事実3: その国際的動向は梁間だ一方で発揮すらない
事実4: もしとある物が梁間だということはないならそれはだらし無くないし出し難くない
事実5: 「その新戦略は通じるが少数言語話者でない」ということは間違いであるとすると「その遍路はだらし無い」ということは正しい
事実6: もしもその国際的動向が梁間だけど発揮すらないならばそれは出し難くない
事実7: もしもとあるものはだらし無いということはないしそれに出し難くないならば宣言すらない

仮説: その総合性は宣言すらない
1. 仮定1: 以下のように仮定する。「その新戦略は通じるがそれは少数言語話者でない」ということは誤りだ
2. 事実5と仮定1から、推論1: "その遍路はだらし無い"が導かれる
3. 推論1と事実1から、推論2: "「その国際的動向は出し難くない」ということは成り立たない"が導かれる
4. 事実3と事実6から、推論3: "その国際的動向は出し難いということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その新戦略は通じるけれど少数言語話者であるということはない"が導かれる
7. 推論5と事実2から、仮説が否定される

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