この細胞内ＮＡは暴力だ
fact1: 「あのメディア産業は切れる」ということは本当だ fact2: この細胞内ＮＡがやごだということはないとしたらあのメディア産業は修補だしその上ｒＯだ fact3: この細胞内ＮＡは干拓しない fact4: あの対明貿易は旨し fact5: あのメディア産業は暴力である fact6: 「その事件事故は切れる」ということは本当だ fact7: あのメディア産業が切れるとすればあの細胞内ＮＡは暴力でない一方でそれは旨し
fact7 & fact1 -> int1: この細胞内ＮＡは暴力でない一方で旨し; int1 -> hypothesis;
fact7 & fact1 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
その発電用は切れるということはない
$facts$ = fact1: 「あのメディア産業は切れる」ということは本当だ fact2: この細胞内ＮＡがやごだということはないとしたらあのメディア産業は修補だしその上ｒＯだ fact3: この細胞内ＮＡは干拓しない fact4: あの対明貿易は旨し fact5: あのメディア産業は暴力である fact6: 「その事件事故は切れる」ということは本当だ fact7: あのメディア産業が切れるとすればあの細胞内ＮＡは暴力でない一方でそれは旨し ; $hypothesis$ = この細胞内ＮＡは暴力だ ; $proof$ = 
fact7 & fact1 -> int1: この細胞内ＮＡは暴力でない一方で旨し; int1 -> hypothesis; __DISPROVED__
事実1: 「あのメディア産業は切れる」ということは本当だ
事実2: この細胞内ＮＡがやごだということはないとしたらあのメディア産業は修補だしその上ｒＯだ
事実3: この細胞内ＮＡは干拓しない
事実4: あの対明貿易は旨し
事実5: あのメディア産業は暴力である
事実6: 「その事件事故は切れる」ということは本当だ
事実7: あのメディア産業が切れるとすればあの細胞内ＮＡは暴力でない一方でそれは旨し

仮説: この細胞内ＮＡは暴力だ
1. 事実7と事実1から、推論1: "この細胞内ＮＡは暴力でない一方で旨し"が導かれる
2. 推論1から、仮説が否定される

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