あの補導は水行する
fact1: あの補導は不完全性であるということはない fact2: もしもこの新型ウイルスが凝集だとするとあの補導は水行するかもしくは見極め難いということはないかあるいは両方ともである fact3: もしこの新型ウイルスが見極め難いとしたらあの補導は凝集であるかまたは激しいということはないかまたは両方である fact4: あの補導は見極め難いかあるいは激しくないとすると凝集でない fact5: もしあの補導が見極め難いならそれは凝集でない fact6: もしもこの新型ウイルスが凝集だとすればあの補導は激しいかもしくはそれは見極め難くないか両方ともだ fact7: 仮にあの補導が見極め難いとするとこの新型ウイルスは激しいか凝集であるということはない fact8: もしもあの補導が見極め難いとするとこの新型ウイルスは水行するかそれは凝集でないかもしくは両方である fact9: もし仮にあの補導が戯けるとしたらそれは切り捨てない fact10: 仮にあの補導が激しいとしたらこの新型ウイルスは見極め難いかあるいは水行しない fact11: そのテーストはおっかないかあるいは抱き起こさないかどちらもだ fact12: 「この新型ウイルスは激しい」ということは本当だ fact13: このセルＡは見極め難いということはない fact14: もしもこの新型ウイルスが冗談っぽいとすればそれは見極め難くない fact15: この新型ウイルスは見極め難い fact16: あの補導は見極め難い fact17: もし仮に何らかの物が凝集であるかまたは激しくないかあるいは両方だとしたらそれは水行しない fact18: 凝集は見極め難くない fact19: もしもこの新型ウイルスが見極め難いかもしくは激しいということはないかもしくはどちらもだとすれば凝集でない fact20: もしなにかは見出だすとするとそれは苦々しかない
fact17 -> int1: もしあの補導は凝集であるかもしくは激しいということはないか両方ともならそれは水行しない; fact3 & fact15 -> int2: あの補導は凝集であるかもしくは激しくない; int1 & int2 -> hypothesis;
fact17 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact3 & fact15 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: あの補導は不完全性であるということはない fact2: もしもこの新型ウイルスが凝集だとするとあの補導は水行するかもしくは見極め難いということはないかあるいは両方ともである fact3: もしこの新型ウイルスが見極め難いとしたらあの補導は凝集であるかまたは激しいということはないかまたは両方である fact4: あの補導は見極め難いかあるいは激しくないとすると凝集でない fact5: もしあの補導が見極め難いならそれは凝集でない fact6: もしもこの新型ウイルスが凝集だとすればあの補導は激しいかもしくはそれは見極め難くないか両方ともだ fact7: 仮にあの補導が見極め難いとするとこの新型ウイルスは激しいか凝集であるということはない fact8: もしもあの補導が見極め難いとするとこの新型ウイルスは水行するかそれは凝集でないかもしくは両方である fact9: もし仮にあの補導が戯けるとしたらそれは切り捨てない fact10: 仮にあの補導が激しいとしたらこの新型ウイルスは見極め難いかあるいは水行しない fact11: そのテーストはおっかないかあるいは抱き起こさないかどちらもだ fact12: 「この新型ウイルスは激しい」ということは本当だ fact13: このセルＡは見極め難いということはない fact14: もしもこの新型ウイルスが冗談っぽいとすればそれは見極め難くない fact15: この新型ウイルスは見極め難い fact16: あの補導は見極め難い fact17: もし仮に何らかの物が凝集であるかまたは激しくないかあるいは両方だとしたらそれは水行しない fact18: 凝集は見極め難くない fact19: もしもこの新型ウイルスが見極め難いかもしくは激しいということはないかもしくはどちらもだとすれば凝集でない fact20: もしなにかは見出だすとするとそれは苦々しかない ; $hypothesis$ = あの補導は水行する ; $proof$ = 
fact17 -> int1: もしあの補導は凝集であるかもしくは激しいということはないか両方ともならそれは水行しない; fact3 & fact15 -> int2: あの補導は凝集であるかもしくは激しくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの補導は不完全性であるということはない
事実2: もしもこの新型ウイルスが凝集だとするとあの補導は水行するかもしくは見極め難いということはないかあるいは両方ともである
事実3: もしこの新型ウイルスが見極め難いとしたらあの補導は凝集であるかまたは激しいということはないかまたは両方である
事実4: あの補導は見極め難いかあるいは激しくないとすると凝集でない
事実5: もしあの補導が見極め難いならそれは凝集でない
事実6: もしもこの新型ウイルスが凝集だとすればあの補導は激しいかもしくはそれは見極め難くないか両方ともだ
事実7: 仮にあの補導が見極め難いとするとこの新型ウイルスは激しいか凝集であるということはない
事実8: もしもあの補導が見極め難いとするとこの新型ウイルスは水行するかそれは凝集でないかもしくは両方である
事実9: もし仮にあの補導が戯けるとしたらそれは切り捨てない
事実10: 仮にあの補導が激しいとしたらこの新型ウイルスは見極め難いかあるいは水行しない
事実11: そのテーストはおっかないかあるいは抱き起こさないかどちらもだ
事実12: 「この新型ウイルスは激しい」ということは本当だ
事実13: このセルＡは見極め難いということはない
事実14: もしもこの新型ウイルスが冗談っぽいとすればそれは見極め難くない
事実15: この新型ウイルスは見極め難い
事実16: あの補導は見極め難い
事実17: もし仮に何らかの物が凝集であるかまたは激しくないかあるいは両方だとしたらそれは水行しない
事実18: 凝集は見極め難くない
事実19: もしもこの新型ウイルスが見極め難いかもしくは激しいということはないかもしくはどちらもだとすれば凝集でない
事実20: もしなにかは見出だすとするとそれは苦々しかない

仮説: あの補導は水行する
1. 事実17から、推論1: "もしあの補導は凝集であるかもしくは激しいということはないか両方ともならそれは水行しない"が導かれる
2. 事実3と事実15から、推論2: "あの補導は凝集であるかもしくは激しくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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