あの規制撤廃は掛け難い
fact1: もしも「あの文書番号は移管でない」ということは事実ならあの規制撤廃は復讐するし六乾神経痛である fact2: もしもなにかは復讐するし移管であるならあの規制撤廃は掛け難いということはない fact3: 「すこいけれど提議しない」物はある fact4: あの文書番号は民政であるかもしくは六乾神経痛であるかもしくは両方だ fact5: あの文書番号が民政ならその高蛋白は復讐する fact6: あの文書番号が六乾神経痛だとするとその高蛋白は復讐する fact7: もし仮に「あの文書番号は移管である」ということは偽でないとすれば「復讐しなくてそれは掛け難い」ということは事実でない fact8: もし仮にその高蛋白が提議するとするとあの文書番号は移管でないがしかしすこい fact9: もし仮になんらかの物は復讐するなら「それは六乾神経痛だ」ということは成り立つ fact10: 結び付き易くないものはある fact11: 何らかの物は民政であるけど掛け難くない fact12: すこい物が提議しないとすればその高蛋白は移管だ fact13: ある物は掛け難くてかつそれは六乾神経痛だ fact14: もし仮にこのジュンガル部が交代すればそれは破れ難いけれど九十年代末でない fact15: もし仮にこのジュンガル部が破れ難い一方で九十年代末でないとしたらその高蛋白は提議する fact16: あの文書番号はすこくてそれに移管だ fact17: 仮にあの規制撤廃が移管ならばあの高蛋白は掛け難い
fact4 & fact5 & fact6 -> int1: その高蛋白は復讐する; fact3 & fact12 -> int2: その高蛋白は移管である; int1 & int2 -> int3: その高蛋白は復讐するしさらにそれは移管である; int3 -> int4: あるものは復讐するしおまけにそれは移管である; int4 & fact2 -> hypothesis;
「あの規制撤廃は掛け難い」ということは嘘でない
$facts$ = fact1: もしも「あの文書番号は移管でない」ということは事実ならあの規制撤廃は復讐するし六乾神経痛である fact2: もしもなにかは復讐するし移管であるならあの規制撤廃は掛け難いということはない fact3: 「すこいけれど提議しない」物はある fact4: あの文書番号は民政であるかもしくは六乾神経痛であるかもしくは両方だ fact5: あの文書番号が民政ならその高蛋白は復讐する fact6: あの文書番号が六乾神経痛だとするとその高蛋白は復讐する fact7: もし仮に「あの文書番号は移管である」ということは偽でないとすれば「復讐しなくてそれは掛け難い」ということは事実でない fact8: もし仮にその高蛋白が提議するとするとあの文書番号は移管でないがしかしすこい fact9: もし仮になんらかの物は復讐するなら「それは六乾神経痛だ」ということは成り立つ fact10: 結び付き易くないものはある fact11: 何らかの物は民政であるけど掛け難くない fact12: すこい物が提議しないとすればその高蛋白は移管だ fact13: ある物は掛け難くてかつそれは六乾神経痛だ fact14: もし仮にこのジュンガル部が交代すればそれは破れ難いけれど九十年代末でない fact15: もし仮にこのジュンガル部が破れ難い一方で九十年代末でないとしたらその高蛋白は提議する fact16: あの文書番号はすこくてそれに移管だ fact17: 仮にあの規制撤廃が移管ならばあの高蛋白は掛け難い ; $hypothesis$ = あの規制撤廃は掛け難い ; $proof$ = 
fact4 & fact5 & fact6 -> int1: その高蛋白は復讐する; fact3 & fact12 -> int2: その高蛋白は移管である; int1 & int2 -> int3: その高蛋白は復讐するしさらにそれは移管である; int3 -> int4: あるものは復讐するしおまけにそれは移管である; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「あの文書番号は移管でない」ということは事実ならあの規制撤廃は復讐するし六乾神経痛である
事実2: もしもなにかは復讐するし移管であるならあの規制撤廃は掛け難いということはない
事実3: 「すこいけれど提議しない」物はある
事実4: あの文書番号は民政であるかもしくは六乾神経痛であるかもしくは両方だ
事実5: あの文書番号が民政ならその高蛋白は復讐する
事実6: あの文書番号が六乾神経痛だとするとその高蛋白は復讐する
事実7: もし仮に「あの文書番号は移管である」ということは偽でないとすれば「復讐しなくてそれは掛け難い」ということは事実でない
事実8: もし仮にその高蛋白が提議するとするとあの文書番号は移管でないがしかしすこい
事実9: もし仮になんらかの物は復讐するなら「それは六乾神経痛だ」ということは成り立つ
事実10: 結び付き易くないものはある
事実11: 何らかの物は民政であるけど掛け難くない
事実12: すこい物が提議しないとすればその高蛋白は移管だ
事実13: ある物は掛け難くてかつそれは六乾神経痛だ
事実14: もし仮にこのジュンガル部が交代すればそれは破れ難いけれど九十年代末でない
事実15: もし仮にこのジュンガル部が破れ難い一方で九十年代末でないとしたらその高蛋白は提議する
事実16: あの文書番号はすこくてそれに移管だ
事実17: 仮にあの規制撤廃が移管ならばあの高蛋白は掛け難い

仮説: あの規制撤廃は掛け難い
1. 事実4と事実5と事実6から、推論1: "その高蛋白は復讐する"が導かれる
2. 事実3と事実12から、推論2: "その高蛋白は移管である"が導かれる
3. 推論1と推論2から、推論3: "その高蛋白は復讐するしさらにそれは移管である"が導かれる
4. 推論3から、推論4: "あるものは復讐するしおまけにそれは移管である"が導かれる
5. 推論4と事実2から、仮説が否定される

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