その会見場は脱稿する
fact1: 「その会見場はぎすぎすしない」ということは本当であるとすればそれは脱稿するしおまけにＰＣカードスロットである fact2: どれもこれもはカットする fact3: もし仮に「あの御家騒動は乗り難くない」ということは事実であるとするとこの殉葬は忘れ易いし加えてそれは乱射する fact4: その会見場はぎすぎすするし加えてＰＣカードスロットだ fact5: もし仮にその虎の尾爺さんが乗り難いとすればあの御家騒動は乗り難いということはない fact6: その会見場は汚らしい fact7: もしその会見場はＰＣカードスロットであるとしたらそれは汚らしい fact8: もし仮にある物はぎすぎすしないとすればＰＣカードスロットである fact9: 仮にこの分け前はスピード違反だとしたら「それはぎすぎすしなくてまたそれは面目無い」ということは事実である fact10: 仮に「その虎の尾爺さんは思い遣れない」ということは成り立たないとしたらあの御家騒動は乗り難くない fact11: その虎の尾爺さんは思い遣れるかまたは乗り難いかまたは両方だ fact12: ＰＣカードスロットは脱稿しない一方で汚らしい fact13: 「あの権利内容は活動する」ということは本当であるとすればそれはぎすぎすしないしおまけにそれは付く fact14: その会見場は柄鎌でないがしかし経済的パフォーマンスである
fact12 -> int1: もしその会見場はＰＣカードスロットであるなら脱稿するということはないけど汚らしい; fact4 -> int2: その会見場はＰＣカードスロットである; int1 & int2 -> int3: その会見場は脱稿しない一方で汚らしい; int3 -> hypothesis;
fact12 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact4 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 -> hypothesis;
その会見場は脱稿する
$facts$ = fact1: 「その会見場はぎすぎすしない」ということは本当であるとすればそれは脱稿するしおまけにＰＣカードスロットである fact2: どれもこれもはカットする fact3: もし仮に「あの御家騒動は乗り難くない」ということは事実であるとするとこの殉葬は忘れ易いし加えてそれは乱射する fact4: その会見場はぎすぎすするし加えてＰＣカードスロットだ fact5: もし仮にその虎の尾爺さんが乗り難いとすればあの御家騒動は乗り難いということはない fact6: その会見場は汚らしい fact7: もしその会見場はＰＣカードスロットであるとしたらそれは汚らしい fact8: もし仮にある物はぎすぎすしないとすればＰＣカードスロットである fact9: 仮にこの分け前はスピード違反だとしたら「それはぎすぎすしなくてまたそれは面目無い」ということは事実である fact10: 仮に「その虎の尾爺さんは思い遣れない」ということは成り立たないとしたらあの御家騒動は乗り難くない fact11: その虎の尾爺さんは思い遣れるかまたは乗り難いかまたは両方だ fact12: ＰＣカードスロットは脱稿しない一方で汚らしい fact13: 「あの権利内容は活動する」ということは本当であるとすればそれはぎすぎすしないしおまけにそれは付く fact14: その会見場は柄鎌でないがしかし経済的パフォーマンスである ; $hypothesis$ = その会見場は脱稿する ; $proof$ = 
fact12 -> int1: もしその会見場はＰＣカードスロットであるなら脱稿するということはないけど汚らしい; fact4 -> int2: その会見場はＰＣカードスロットである; int1 & int2 -> int3: その会見場は脱稿しない一方で汚らしい; int3 -> hypothesis; __DISPROVED__
事実1: 「その会見場はぎすぎすしない」ということは本当であるとすればそれは脱稿するしおまけにＰＣカードスロットである
事実2: どれもこれもはカットする
事実3: もし仮に「あの御家騒動は乗り難くない」ということは事実であるとするとこの殉葬は忘れ易いし加えてそれは乱射する
事実4: その会見場はぎすぎすするし加えてＰＣカードスロットだ
事実5: もし仮にその虎の尾爺さんが乗り難いとすればあの御家騒動は乗り難いということはない
事実6: その会見場は汚らしい
事実7: もしその会見場はＰＣカードスロットであるとしたらそれは汚らしい
事実8: もし仮にある物はぎすぎすしないとすればＰＣカードスロットである
事実9: 仮にこの分け前はスピード違反だとしたら「それはぎすぎすしなくてまたそれは面目無い」ということは事実である
事実10: 仮に「その虎の尾爺さんは思い遣れない」ということは成り立たないとしたらあの御家騒動は乗り難くない
事実11: その虎の尾爺さんは思い遣れるかまたは乗り難いかまたは両方だ
事実12: ＰＣカードスロットは脱稿しない一方で汚らしい
事実13: 「あの権利内容は活動する」ということは本当であるとすればそれはぎすぎすしないしおまけにそれは付く
事実14: その会見場は柄鎌でないがしかし経済的パフォーマンスである

仮説: その会見場は脱稿する
1. 事実12から、推論1: "もしその会見場はＰＣカードスロットであるなら脱稿するということはないけど汚らしい"が導かれる
2. 事実4から、推論2: "その会見場はＰＣカードスロットである"が導かれる
3. 推論1と推論2から、推論3: "その会見場は脱稿しない一方で汚らしい"が導かれる
4. 推論3から、仮説が否定される

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