あのビッチは通じ合う
fact1: 仮に「何らかの物は面白いけどツモるということはない」ということは成り立つということはないなら通じ合わない fact2: 「もし仮にその政策情報は余儀無くないとしたら「あのビッチは面白いけどそれはツモるない」ということは嘘だ」ということは確かである fact3: もし何らかのものは緩いかもしくは打ち殺すかもしくは両方であるならそれは通じ合わない fact4: その政策情報は余儀無くない fact5: もし面白い物はあるとすると「あの五十万以上は速報性だが面白くない」ということは偽だ fact6: もしも何らかのものが通じ合わないとすればそれは面白いししかも余儀無い
fact2 & fact4 -> int1: 「「あのビッチは面白いけどツモるない」ということは誤っている」ということは正しい; fact1 -> int2: もし「あのビッチは面白いけれどツモるない」ということは誤っていれば通じ合うということはない; int1 & int2 -> hypothesis;
fact2 & fact4 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact1 -> int2: ¬({AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
「あの五十万以上は速報性であるけれど面白くない」ということは間違いである
fact8 -> int3: もし仮にその政策情報が通じ合わないならば面白くて余儀無い; fact9 -> int4: もし仮にその政策情報は緩いかもしくは打ち殺すかもしくはどちらもであるとすると通じ合わない;
$facts$ = fact1: 仮に「何らかの物は面白いけどツモるということはない」ということは成り立つということはないなら通じ合わない fact2: 「もし仮にその政策情報は余儀無くないとしたら「あのビッチは面白いけどそれはツモるない」ということは嘘だ」ということは確かである fact3: もし何らかのものは緩いかもしくは打ち殺すかもしくは両方であるならそれは通じ合わない fact4: その政策情報は余儀無くない fact5: もし面白い物はあるとすると「あの五十万以上は速報性だが面白くない」ということは偽だ fact6: もしも何らかのものが通じ合わないとすればそれは面白いししかも余儀無い ; $hypothesis$ = あのビッチは通じ合う ; $proof$ = 
fact2 & fact4 -> int1: 「「あのビッチは面白いけどツモるない」ということは誤っている」ということは正しい; fact1 -> int2: もし「あのビッチは面白いけれどツモるない」ということは誤っていれば通じ合うということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「何らかの物は面白いけどツモるということはない」ということは成り立つということはないなら通じ合わない
事実2: 「もし仮にその政策情報は余儀無くないとしたら「あのビッチは面白いけどそれはツモるない」ということは嘘だ」ということは確かである
事実3: もし何らかのものは緩いかもしくは打ち殺すかもしくは両方であるならそれは通じ合わない
事実4: その政策情報は余儀無くない
事実5: もし面白い物はあるとすると「あの五十万以上は速報性だが面白くない」ということは偽だ
事実6: もしも何らかのものが通じ合わないとすればそれは面白いししかも余儀無い

仮説: あのビッチは通じ合う
1. 事実2と事実4から、推論1: "「「あのビッチは面白いけどツモるない」ということは誤っている」ということは正しい"が導かれる
2. 事実1から、推論2: "もし「あのビッチは面白いけれどツモるない」ということは誤っていれば通じ合うということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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