あの手術場は競い合う
fact1: その境界神は競い合わない fact2: 仮にあの手術場は慈悲深いならば「それは比べるし近付き易い」ということは成り立つということはない fact3: もしも「「あの手術場は競い合わないが自分らしい」ということは成り立たない」ということは成り立てば性分らしくない fact4: もしもあの手術場が比べるとしたら競い合わない fact5: もしもあの手術場は慈悲深いとしたら「それは比べないけど近付き易い」ということは偽だ fact6: 「「あの手術場は比べるしさらに近付き易い」ということは成り立たない」ということは本当だ fact7: もしも「とあるものは比べないが近付き易い」ということは間違いであるならそれは競い合わない fact8: あの手術場は慈悲深い fact9: もしも「なんらかの物は慈悲深くないけど競い合う」ということは間違いだとしたら「それは比べない」ということは成り立つ fact10: あの御配慮は競い合う fact11: あの手術場はゾピクロンでないとするとそれは競い合うしまた慈悲深い fact12: もしもある物が割愛しないとしたら競い合わないしまたそれはゾピクロンでない fact13: 「あの手術場は軟禁する」ということは成り立つ fact14: もしなにがしかのものが比べるとすればそれは競い合わない fact15: 仮に「この釣り竿は近付き易くない一方で信心深い」ということは真実でないとしたら効果確認でない fact16: この学業面は近付き易くない fact17: あの手術場は割愛する
fact5 & fact8 -> int1: 「「あの手術場は比べるということはないがしかし近付き易い」ということは誤っている」ということは本当である; fact7 -> int2: もし「あの手術場は比べるということはないけれど近付き易い」ということは偽であるとしたら競い合わない; int1 & int2 -> hypothesis;
fact5 & fact8 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact7 -> int2: ¬(¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
その人間性心理学は近付き易い
fact18 -> int3: もし「その人間性心理学は割愛しない」ということは成り立つならそれは競い合わないしおまけにゾピクロンでない;
$facts$ = fact1: その境界神は競い合わない fact2: 仮にあの手術場は慈悲深いならば「それは比べるし近付き易い」ということは成り立つということはない fact3: もしも「「あの手術場は競い合わないが自分らしい」ということは成り立たない」ということは成り立てば性分らしくない fact4: もしもあの手術場が比べるとしたら競い合わない fact5: もしもあの手術場は慈悲深いとしたら「それは比べないけど近付き易い」ということは偽だ fact6: 「「あの手術場は比べるしさらに近付き易い」ということは成り立たない」ということは本当だ fact7: もしも「とあるものは比べないが近付き易い」ということは間違いであるならそれは競い合わない fact8: あの手術場は慈悲深い fact9: もしも「なんらかの物は慈悲深くないけど競い合う」ということは間違いだとしたら「それは比べない」ということは成り立つ fact10: あの御配慮は競い合う fact11: あの手術場はゾピクロンでないとするとそれは競い合うしまた慈悲深い fact12: もしもある物が割愛しないとしたら競い合わないしまたそれはゾピクロンでない fact13: 「あの手術場は軟禁する」ということは成り立つ fact14: もしなにがしかのものが比べるとすればそれは競い合わない fact15: 仮に「この釣り竿は近付き易くない一方で信心深い」ということは真実でないとしたら効果確認でない fact16: この学業面は近付き易くない fact17: あの手術場は割愛する ; $hypothesis$ = あの手術場は競い合う ; $proof$ = 
fact5 & fact8 -> int1: 「「あの手術場は比べるということはないがしかし近付き易い」ということは誤っている」ということは本当である; fact7 -> int2: もし「あの手術場は比べるということはないけれど近付き易い」ということは偽であるとしたら競い合わない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その境界神は競い合わない
事実2: 仮にあの手術場は慈悲深いならば「それは比べるし近付き易い」ということは成り立つということはない
事実3: もしも「「あの手術場は競い合わないが自分らしい」ということは成り立たない」ということは成り立てば性分らしくない
事実4: もしもあの手術場が比べるとしたら競い合わない
事実5: もしもあの手術場は慈悲深いとしたら「それは比べないけど近付き易い」ということは偽だ
事実6: 「「あの手術場は比べるしさらに近付き易い」ということは成り立たない」ということは本当だ
事実7: もしも「とあるものは比べないが近付き易い」ということは間違いであるならそれは競い合わない
事実8: あの手術場は慈悲深い
事実9: もしも「なんらかの物は慈悲深くないけど競い合う」ということは間違いだとしたら「それは比べない」ということは成り立つ
事実10: あの御配慮は競い合う
事実11: あの手術場はゾピクロンでないとするとそれは競い合うしまた慈悲深い
事実12: もしもある物が割愛しないとしたら競い合わないしまたそれはゾピクロンでない
事実13: 「あの手術場は軟禁する」ということは成り立つ
事実14: もしなにがしかのものが比べるとすればそれは競い合わない
事実15: 仮に「この釣り竿は近付き易くない一方で信心深い」ということは真実でないとしたら効果確認でない
事実16: この学業面は近付き易くない
事実17: あの手術場は割愛する

仮説: あの手術場は競い合う
1. 事実5と事実8から、推論1: "「「あの手術場は比べるということはないがしかし近付き易い」ということは誤っている」ということは本当である"が導かれる
2. 事実7から、推論2: "もし「あの手術場は比べるということはないけれど近付き易い」ということは偽であるとしたら競い合わない"が導かれる
3. 推論1と推論2から、仮説が否定される

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