その文書資料は定義出来ない
fact1: もしあの片山内閣が出現し易いとしたらその他チームは十分する fact2: このテロ戦争が酷くないとしたらその文書資料は酷いけれど編集室だということはない fact3: もしも上昇し易いかまたは捗々しい物があればその他チームは十分しない fact4: 「あの片山内閣は国際輿論だということはない」ということは事実である fact5: もしもあの片山内閣が十分するとすればその他チームは十分する fact6: その文書資料は出現し易くない fact7: もし仮に酷い物は編集室でないとすると定義出来る fact8: もし仮にこのテロ戦争が酷いとすればそれは上昇し易い fact9: その他チームは酷くない fact10: もし仮にこのテロ戦争が国際輿論であるがそれが上昇し易くないならばあの文書資料は国際輿論である fact11: もしも「「このテロ戦争は上昇し易くないし酷くない」ということは成り立たない」ということは本当であるならその文書資料は定義出来ない fact12: もしこのテロ戦争が酷くないなら捗々しいかあるいは出現し易いかもしくは両方である fact13: あの片山内閣は定義出来る fact14: もしもなんらかのものは国際輿論でないならばそれは出現し易いかもしくは十分するか両方である
void -> assump1: 以下のように仮定する。「このテロ戦争は酷い」ということは真実だ; fact8 & assump1 -> int1: このテロ戦争は上昇し易い; int1 -> int2: このテロ戦争は上昇し易いかまたは捗々しいかもしくは両方である; int2 -> int3: 「上昇し易いか捗々しい」物はある; int3 & fact3 -> int4: その他チームは十分しない; fact14 -> int5: 仮にあの片山内閣が国際輿論だということはないならそれは出現し易いか十分するか両方ともだ; int5 & fact4 -> int6: あの片山内閣は出現し易いかまたはそれは十分するか両方ともだ; fact5 & fact1 & int6 -> int7: その他チームは十分する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このテロ戦争は酷くない; int9 & fact2 -> int10: その文書資料は酷いが編集室でない; fact7 -> int11: その文書資料は酷い一方で編集室だということはないとすればそれは定義出来る; int10 & int11 -> hypothesis;
その文書資料は国際輿論だ
$facts$ = fact1: もしあの片山内閣が出現し易いとしたらその他チームは十分する fact2: このテロ戦争が酷くないとしたらその文書資料は酷いけれど編集室だということはない fact3: もしも上昇し易いかまたは捗々しい物があればその他チームは十分しない fact4: 「あの片山内閣は国際輿論だということはない」ということは事実である fact5: もしもあの片山内閣が十分するとすればその他チームは十分する fact6: その文書資料は出現し易くない fact7: もし仮に酷い物は編集室でないとすると定義出来る fact8: もし仮にこのテロ戦争が酷いとすればそれは上昇し易い fact9: その他チームは酷くない fact10: もし仮にこのテロ戦争が国際輿論であるがそれが上昇し易くないならばあの文書資料は国際輿論である fact11: もしも「「このテロ戦争は上昇し易くないし酷くない」ということは成り立たない」ということは本当であるならその文書資料は定義出来ない fact12: もしこのテロ戦争が酷くないなら捗々しいかあるいは出現し易いかもしくは両方である fact13: あの片山内閣は定義出来る fact14: もしもなんらかのものは国際輿論でないならばそれは出現し易いかもしくは十分するか両方である ; $hypothesis$ = その文書資料は定義出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このテロ戦争は酷い」ということは真実だ; fact8 & assump1 -> int1: このテロ戦争は上昇し易い; int1 -> int2: このテロ戦争は上昇し易いかまたは捗々しいかもしくは両方である; int2 -> int3: 「上昇し易いか捗々しい」物はある; int3 & fact3 -> int4: その他チームは十分しない; fact14 -> int5: 仮にあの片山内閣が国際輿論だということはないならそれは出現し易いか十分するか両方ともだ; int5 & fact4 -> int6: あの片山内閣は出現し易いかまたはそれは十分するか両方ともだ; fact5 & fact1 & int6 -> int7: その他チームは十分する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このテロ戦争は酷くない; int9 & fact2 -> int10: その文書資料は酷いが編集室でない; fact7 -> int11: その文書資料は酷い一方で編集室だということはないとすればそれは定義出来る; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしあの片山内閣が出現し易いとしたらその他チームは十分する
事実2: このテロ戦争が酷くないとしたらその文書資料は酷いけれど編集室だということはない
事実3: もしも上昇し易いかまたは捗々しい物があればその他チームは十分しない
事実4: 「あの片山内閣は国際輿論だということはない」ということは事実である
事実5: もしもあの片山内閣が十分するとすればその他チームは十分する
事実6: その文書資料は出現し易くない
事実7: もし仮に酷い物は編集室でないとすると定義出来る
事実8: もし仮にこのテロ戦争が酷いとすればそれは上昇し易い
事実9: その他チームは酷くない
事実10: もし仮にこのテロ戦争が国際輿論であるがそれが上昇し易くないならばあの文書資料は国際輿論である
事実11: もしも「「このテロ戦争は上昇し易くないし酷くない」ということは成り立たない」ということは本当であるならその文書資料は定義出来ない
事実12: もしこのテロ戦争が酷くないなら捗々しいかあるいは出現し易いかもしくは両方である
事実13: あの片山内閣は定義出来る
事実14: もしもなんらかのものは国際輿論でないならばそれは出現し易いかもしくは十分するか両方である

仮説: その文書資料は定義出来ない
1. 仮定1: 以下のように仮定する。「このテロ戦争は酷い」ということは真実だ
2. 事実8と仮定1から、推論1: "このテロ戦争は上昇し易い"が導かれる
3. 推論1から、推論2: "このテロ戦争は上昇し易いかまたは捗々しいかもしくは両方である"が導かれる
4. 推論2から、推論3: "「上昇し易いか捗々しい」物はある"が導かれる
5. 推論3と事実3から、推論4: "その他チームは十分しない"が導かれる
6. 事実14から、推論5: "仮にあの片山内閣が国際輿論だということはないならそれは出現し易いか十分するか両方ともだ"が導かれる
7. 推論5と事実4から、推論6: "あの片山内閣は出現し易いかまたはそれは十分するか両方ともだ"が導かれる
8. 事実5と事実1と推論6から、推論7: "その他チームは十分する"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "このテロ戦争は酷くない"が導かれる
11. 推論9と事実2から、推論10: "その文書資料は酷いが編集室でない"が導かれる
12. 事実7から、推論11: "その文書資料は酷い一方で編集室だということはないとすればそれは定義出来る"が導かれる
13. 推論10と推論11から、仮説が否定される

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