「このディールは日本法上でなくてそれに伝わり易くない」ということは嘘である
fact1: あの事業活動は伝わり易くないかもしくは一般対策であるかもしくはどちらもである fact2: あの断面構造は微細でなくて上海労働者でない fact3: あの事業活動は合名であるかあるいはキリスト教社会であるということはない fact4: あの事業活動は伝わり易くないかあるいはそれは合名であるかまたはどちらもである fact5: あの事業活動が一般対策であるということはないかまたは合名でないならばあのディールはキリスト教社会である fact6: このディールは伝わり易いかまたは合名でないかあるいは両方だ fact7: もし仮にあの事業活動が伝わり易いとすればそれは日本法上でないしおまけに一般対策であるということはない fact8: キリスト教社会は日本法上でなくてそれに伝わり易くない fact9: このディールは厚ぼったくなくて御察ししない fact10: あの事業活動は一般対策でない fact11: もし仮になんらかのものが乗り越せば保証出来るということはないししかも正しない fact12: あの事業活動は伝わり易くない fact13: あの事業活動は日本法上でない fact14: あの事業活動は日本法上でないかもしくは動き易い
fact10 -> int1: あの事業活動は一般対策でないかあるいは合名でないかあるいは両方ともである; int1 & fact5 -> int2: このディールはキリスト教社会だ; fact8 -> int3: もし仮にこのディールはキリスト教社会であるとすると日本法上でないしまた伝わり易くない; int2 & int3 -> hypothesis;
fact10 -> int1: (¬{A}{a} v ¬{B}{a}); int1 & fact5 -> int2: {C}{b}; fact8 -> int3: {C}{b} -> (¬{E}{b} & ¬{D}{b}); int2 & int3 -> hypothesis;
「仮にあの楽学規範が乗り越すならあの楽学規範が保証出来ないしさらにそれは正しない」ということは正しい
fact15 -> hypothesis;
$facts$ = fact1: あの事業活動は伝わり易くないかもしくは一般対策であるかもしくはどちらもである fact2: あの断面構造は微細でなくて上海労働者でない fact3: あの事業活動は合名であるかあるいはキリスト教社会であるということはない fact4: あの事業活動は伝わり易くないかあるいはそれは合名であるかまたはどちらもである fact5: あの事業活動が一般対策であるということはないかまたは合名でないならばあのディールはキリスト教社会である fact6: このディールは伝わり易いかまたは合名でないかあるいは両方だ fact7: もし仮にあの事業活動が伝わり易いとすればそれは日本法上でないしおまけに一般対策であるということはない fact8: キリスト教社会は日本法上でなくてそれに伝わり易くない fact9: このディールは厚ぼったくなくて御察ししない fact10: あの事業活動は一般対策でない fact11: もし仮になんらかのものが乗り越せば保証出来るということはないししかも正しない fact12: あの事業活動は伝わり易くない fact13: あの事業活動は日本法上でない fact14: あの事業活動は日本法上でないかもしくは動き易い ; $hypothesis$ = 「このディールは日本法上でなくてそれに伝わり易くない」ということは嘘である ; $proof$ = 
fact10 -> int1: あの事業活動は一般対策でないかあるいは合名でないかあるいは両方ともである; int1 & fact5 -> int2: このディールはキリスト教社会だ; fact8 -> int3: もし仮にこのディールはキリスト教社会であるとすると日本法上でないしまた伝わり易くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの事業活動は伝わり易くないかもしくは一般対策であるかもしくはどちらもである
事実2: あの断面構造は微細でなくて上海労働者でない
事実3: あの事業活動は合名であるかあるいはキリスト教社会であるということはない
事実4: あの事業活動は伝わり易くないかあるいはそれは合名であるかまたはどちらもである
事実5: あの事業活動が一般対策であるということはないかまたは合名でないならばあのディールはキリスト教社会である
事実6: このディールは伝わり易いかまたは合名でないかあるいは両方だ
事実7: もし仮にあの事業活動が伝わり易いとすればそれは日本法上でないしおまけに一般対策であるということはない
事実8: キリスト教社会は日本法上でなくてそれに伝わり易くない
事実9: このディールは厚ぼったくなくて御察ししない
事実10: あの事業活動は一般対策でない
事実11: もし仮になんらかのものが乗り越せば保証出来るということはないししかも正しない
事実12: あの事業活動は伝わり易くない
事実13: あの事業活動は日本法上でない
事実14: あの事業活動は日本法上でないかもしくは動き易い

仮説: 「このディールは日本法上でなくてそれに伝わり易くない」ということは嘘である
1. 事実10から、推論1: "あの事業活動は一般対策でないかあるいは合名でないかあるいは両方ともである"が導かれる
2. 推論1と事実5から、推論2: "このディールはキリスト教社会だ"が導かれる
3. 事実8から、推論3: "もし仮にこのディールはキリスト教社会であるとすると日本法上でないしまた伝わり易くない"が導かれる
4. 推論2と推論3から、仮説が否定される

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