「あの密輸業者は呼び為さるけれどそれは侵食であるということはない」ということは成り立たない
fact1: 地産地消は侵食でない fact2: そのＭＪはゲスト出演であるとすれば「その分社は判別し易くないしまた三味線持ちでない」ということは偽だ fact3: あの密輸業者は地産地消だ fact4: もし仮に「何らかの物は地産地消だ」ということは正しいとすると呼び為さるしおまけにそれは侵食でない fact5: もしあるものが輸送力でないとしたらそれは革マル派でないし加えてそれは地産地消である fact6: もし仮にその取得原価は来朝しないなら「この侏儒は自動射精機だということはないしおまけに狭くない」ということは偽である fact7: もし仮に「なにかは自動射精機でないしその上それは狭くない」ということは嘘であるとすれば自動射精機である fact8: もしもあの密輸業者は地産地消であるとすれば侵食でない fact9: もしあの密輸業者がライナーならそれはうざい一方で地産地消でない fact10: そのＭＪはゲスト出演である fact11: その行進曲が革マル派でないが地産地消であるとしたらその国史学は侵食だ fact12: あの密輸業者は侵食でない
fact4 -> int1: もしあの密輸業者が地産地消だとすれば呼び為さるし侵食でない; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis;
その国史学は侵食だ
fact17 -> int2: その行進曲が輸送力でないならば革マル派でなくてしかもそれは地産地消である; fact13 -> int3: もし「この侏儒は自動射精機でなくてしかも狭くない」ということは成り立たないなら自動射精機だ; fact14 & fact16 -> int4: 「その分社は判別し易くないし三味線持ちでない」ということは間違っている; int4 -> int5: 「「判別し易くないし三味線持ちだということはない」ということは本当でない」ものはある;
$facts$ = fact1: 地産地消は侵食でない fact2: そのＭＪはゲスト出演であるとすれば「その分社は判別し易くないしまた三味線持ちでない」ということは偽だ fact3: あの密輸業者は地産地消だ fact4: もし仮に「何らかの物は地産地消だ」ということは正しいとすると呼び為さるしおまけにそれは侵食でない fact5: もしあるものが輸送力でないとしたらそれは革マル派でないし加えてそれは地産地消である fact6: もし仮にその取得原価は来朝しないなら「この侏儒は自動射精機だということはないしおまけに狭くない」ということは偽である fact7: もし仮に「なにかは自動射精機でないしその上それは狭くない」ということは嘘であるとすれば自動射精機である fact8: もしもあの密輸業者は地産地消であるとすれば侵食でない fact9: もしあの密輸業者がライナーならそれはうざい一方で地産地消でない fact10: そのＭＪはゲスト出演である fact11: その行進曲が革マル派でないが地産地消であるとしたらその国史学は侵食だ fact12: あの密輸業者は侵食でない ; $hypothesis$ = 「あの密輸業者は呼び為さるけれどそれは侵食であるということはない」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしあの密輸業者が地産地消だとすれば呼び為さるし侵食でない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 地産地消は侵食でない
事実2: そのＭＪはゲスト出演であるとすれば「その分社は判別し易くないしまた三味線持ちでない」ということは偽だ
事実3: あの密輸業者は地産地消だ
事実4: もし仮に「何らかの物は地産地消だ」ということは正しいとすると呼び為さるしおまけにそれは侵食でない
事実5: もしあるものが輸送力でないとしたらそれは革マル派でないし加えてそれは地産地消である
事実6: もし仮にその取得原価は来朝しないなら「この侏儒は自動射精機だということはないしおまけに狭くない」ということは偽である
事実7: もし仮に「なにかは自動射精機でないしその上それは狭くない」ということは嘘であるとすれば自動射精機である
事実8: もしもあの密輸業者は地産地消であるとすれば侵食でない
事実9: もしあの密輸業者がライナーならそれはうざい一方で地産地消でない
事実10: そのＭＪはゲスト出演である
事実11: その行進曲が革マル派でないが地産地消であるとしたらその国史学は侵食だ
事実12: あの密輸業者は侵食でない

仮説: 「あの密輸業者は呼び為さるけれどそれは侵食であるということはない」ということは成り立たない
1. 事実4から、推論1: "もしあの密輸業者が地産地消だとすれば呼び為さるし侵食でない"が導かれる
2. 推論1と事実3から、仮説が否定される

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