「その全国水平社創立宣言は星占いでそれは軍事活動だ」ということは成り立たない
fact1: 星占いは分節する一方で出廷しない fact2: その全国水平社創立宣言は白地手形である fact3: もしその全国水平社創立宣言が断食しないなら白地手形である fact4: 与え易くないし遅い物は焦れったい fact5: もしこの商業地域が断食しないとしたらあの極小粒は軍事活動であるしかつ星占いである fact6: その全国水平社創立宣言は断食しない fact7: 仮にあの広告費が焦れったいとするとこの商業地域は断食するということはない fact8: その全国水平社創立宣言は御上がり下さる fact9: 「この生物学的領域は断食するということはない」ということは真実である fact10: もしもあの広告費が青臭くないとすると弛くないしそれは姦しい fact11: 何らかの物は掴み合わないし加えて危なくない fact12: その全国水平社創立宣言は星占いだ fact13: もし仮に弛くないものが姦しいならそれは遅い fact14: もし「掴み合わないしさらに危なくない」ものがあるならあの広告費は蹴っ飛ばさない fact15: 仮に白地手形が引き会わせらないとしたら軍事活動だ fact16: もしもその全国水平社創立宣言が断食しないならそれは白地手形でそれは引き会わせるということはない fact17: その偽陽性は断食する fact18: あの広告費は蹴っ飛ばさないならば「それは勝手放題だし加えて上り易い」ということは誤りだ fact19: 仮に「ある物は勝手放題だしさらに上り易い」ということは成り立つということはないならば与え易くない
fact15 -> int1: 「もしその全国水平社創立宣言が白地手形であるがしかし引き会わせらないとするとその全国水平社創立宣言は軍事活動だ」ということは成り立つ; fact16 & fact6 -> int2: その全国水平社創立宣言は白地手形である一方で引き会わせらない; int1 & int2 -> int3: その全国水平社創立宣言は軍事活動である; int3 & fact12 -> hypothesis;
fact15 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact16 & fact6 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact12 -> hypothesis;
あの極小粒は分節するけれどそれは出廷しない
fact21 -> int4: 「あの極小粒は星占いである」ということは真実ならば分節するけれど出廷するということはない;
$facts$ = fact1: 星占いは分節する一方で出廷しない fact2: その全国水平社創立宣言は白地手形である fact3: もしその全国水平社創立宣言が断食しないなら白地手形である fact4: 与え易くないし遅い物は焦れったい fact5: もしこの商業地域が断食しないとしたらあの極小粒は軍事活動であるしかつ星占いである fact6: その全国水平社創立宣言は断食しない fact7: 仮にあの広告費が焦れったいとするとこの商業地域は断食するということはない fact8: その全国水平社創立宣言は御上がり下さる fact9: 「この生物学的領域は断食するということはない」ということは真実である fact10: もしもあの広告費が青臭くないとすると弛くないしそれは姦しい fact11: 何らかの物は掴み合わないし加えて危なくない fact12: その全国水平社創立宣言は星占いだ fact13: もし仮に弛くないものが姦しいならそれは遅い fact14: もし「掴み合わないしさらに危なくない」ものがあるならあの広告費は蹴っ飛ばさない fact15: 仮に白地手形が引き会わせらないとしたら軍事活動だ fact16: もしもその全国水平社創立宣言が断食しないならそれは白地手形でそれは引き会わせるということはない fact17: その偽陽性は断食する fact18: あの広告費は蹴っ飛ばさないならば「それは勝手放題だし加えて上り易い」ということは誤りだ fact19: 仮に「ある物は勝手放題だしさらに上り易い」ということは成り立つということはないならば与え易くない ; $hypothesis$ = 「その全国水平社創立宣言は星占いでそれは軍事活動だ」ということは成り立たない ; $proof$ = 
fact15 -> int1: 「もしその全国水平社創立宣言が白地手形であるがしかし引き会わせらないとするとその全国水平社創立宣言は軍事活動だ」ということは成り立つ; fact16 & fact6 -> int2: その全国水平社創立宣言は白地手形である一方で引き会わせらない; int1 & int2 -> int3: その全国水平社創立宣言は軍事活動である; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 星占いは分節する一方で出廷しない
事実2: その全国水平社創立宣言は白地手形である
事実3: もしその全国水平社創立宣言が断食しないなら白地手形である
事実4: 与え易くないし遅い物は焦れったい
事実5: もしこの商業地域が断食しないとしたらあの極小粒は軍事活動であるしかつ星占いである
事実6: その全国水平社創立宣言は断食しない
事実7: 仮にあの広告費が焦れったいとするとこの商業地域は断食するということはない
事実8: その全国水平社創立宣言は御上がり下さる
事実9: 「この生物学的領域は断食するということはない」ということは真実である
事実10: もしもあの広告費が青臭くないとすると弛くないしそれは姦しい
事実11: 何らかの物は掴み合わないし加えて危なくない
事実12: その全国水平社創立宣言は星占いだ
事実13: もし仮に弛くないものが姦しいならそれは遅い
事実14: もし「掴み合わないしさらに危なくない」ものがあるならあの広告費は蹴っ飛ばさない
事実15: 仮に白地手形が引き会わせらないとしたら軍事活動だ
事実16: もしもその全国水平社創立宣言が断食しないならそれは白地手形でそれは引き会わせるということはない
事実17: その偽陽性は断食する
事実18: あの広告費は蹴っ飛ばさないならば「それは勝手放題だし加えて上り易い」ということは誤りだ
事実19: 仮に「ある物は勝手放題だしさらに上り易い」ということは成り立つということはないならば与え易くない

仮説: 「その全国水平社創立宣言は星占いでそれは軍事活動だ」ということは成り立たない
1. 事実15から、推論1: "「もしその全国水平社創立宣言が白地手形であるがしかし引き会わせらないとするとその全国水平社創立宣言は軍事活動だ」ということは成り立つ"が導かれる
2. 事実16と事実6から、推論2: "その全国水平社創立宣言は白地手形である一方で引き会わせらない"が導かれる
3. 推論1と推論2から、推論3: "その全国水平社創立宣言は軍事活動である"が導かれる
4. 推論3と事実12から、仮説が否定される

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