あの重要事項説明は射精しないしさらに気難しくない
fact1: 「あの抜け目は好もしかない一方で見直し作業である」ということは確かでない fact2: 納得し難いものは見直し作業である fact3: もし仮にあの濾過が射精するとするとあの抜け目は厚遇する fact4: あの抜け目が厚遇するとするとそれは好もしかないけど見直し作業だ fact5: 仮にあの重要事項説明が射精するとすると見直し作業でないしそれは気難しい fact6: 仮になにがしかの物が厚遇しないならば好もしいかあるいは射精するかあるいはどちらもである fact7: もし仮にあの濾過が厚遇しないならばあの重要事項説明は射精しないしそれは気難しくない fact8: もし「ある物は厚遇するがしかし好もしいということはない」ということは本当でないとすればそれは厚遇しない fact9: 「あの抜け目は好もしくてさらに見直し作業である」ということは成り立たない fact10: もし仮に「あの濾過は見直し作業だ」ということは事実であるならあの抜け目は射精する fact11: 仮にあの濾過は射精しないなら「「あの重要事項説明は射精しなくて加えて気難しいということはない」ということは成り立たない」ということは事実である fact12: 「あの重要事項説明は射精するということはないがしかし気難しい」ということは間違いだ
void -> assump1: 以下のように仮定する。あの濾過は射精する; fact3 & assump1 -> int1: あの抜け目は厚遇する; int1 & fact4 -> int2: あの抜け目は好もしかないけれど見直し作業である; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの濾過は射精するということはない」ということは確かである; int4 & fact11 -> hypothesis;
あの重要事項説明は射精しないし加えて気難しくない
fact15 -> int5: もし「あの濾過は厚遇する一方で好もしかない」ということは誤りならそれは厚遇しない; fact14 -> int6: あの濾過が納得し難いとしたらそれは見直し作業である;
$facts$ = fact1: 「あの抜け目は好もしかない一方で見直し作業である」ということは確かでない fact2: 納得し難いものは見直し作業である fact3: もし仮にあの濾過が射精するとするとあの抜け目は厚遇する fact4: あの抜け目が厚遇するとするとそれは好もしかないけど見直し作業だ fact5: 仮にあの重要事項説明が射精するとすると見直し作業でないしそれは気難しい fact6: 仮になにがしかの物が厚遇しないならば好もしいかあるいは射精するかあるいはどちらもである fact7: もし仮にあの濾過が厚遇しないならばあの重要事項説明は射精しないしそれは気難しくない fact8: もし「ある物は厚遇するがしかし好もしいということはない」ということは本当でないとすればそれは厚遇しない fact9: 「あの抜け目は好もしくてさらに見直し作業である」ということは成り立たない fact10: もし仮に「あの濾過は見直し作業だ」ということは事実であるならあの抜け目は射精する fact11: 仮にあの濾過は射精しないなら「「あの重要事項説明は射精しなくて加えて気難しいということはない」ということは成り立たない」ということは事実である fact12: 「あの重要事項説明は射精するということはないがしかし気難しい」ということは間違いだ ; $hypothesis$ = あの重要事項説明は射精しないしさらに気難しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの濾過は射精する; fact3 & assump1 -> int1: あの抜け目は厚遇する; int1 & fact4 -> int2: あの抜け目は好もしかないけれど見直し作業である; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの濾過は射精するということはない」ということは確かである; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: 「あの抜け目は好もしかない一方で見直し作業である」ということは確かでない
事実2: 納得し難いものは見直し作業である
事実3: もし仮にあの濾過が射精するとするとあの抜け目は厚遇する
事実4: あの抜け目が厚遇するとするとそれは好もしかないけど見直し作業だ
事実5: 仮にあの重要事項説明が射精するとすると見直し作業でないしそれは気難しい
事実6: 仮になにがしかの物が厚遇しないならば好もしいかあるいは射精するかあるいはどちらもである
事実7: もし仮にあの濾過が厚遇しないならばあの重要事項説明は射精しないしそれは気難しくない
事実8: もし「ある物は厚遇するがしかし好もしいということはない」ということは本当でないとすればそれは厚遇しない
事実9: 「あの抜け目は好もしくてさらに見直し作業である」ということは成り立たない
事実10: もし仮に「あの濾過は見直し作業だ」ということは事実であるならあの抜け目は射精する
事実11: 仮にあの濾過は射精しないなら「「あの重要事項説明は射精しなくて加えて気難しいということはない」ということは成り立たない」ということは事実である
事実12: 「あの重要事項説明は射精するということはないがしかし気難しい」ということは間違いだ

仮説: あの重要事項説明は射精しないしさらに気難しくない
1. 仮定1: 以下のように仮定する。あの濾過は射精する
2. 事実3と仮定1から、推論1: "あの抜け目は厚遇する"が導かれる
3. 推論1と事実4から、推論2: "あの抜け目は好もしかないけれど見直し作業である"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの濾過は射精するということはない」ということは確かである"が導かれる
6. 推論4と事実11から、仮説が否定される

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