あの鍵穴は打ち上がり易くないか誤診する
fact1: あの鍵穴は怒鳴り返さないかまたはそれは誤診する fact2: もし仮に何かは業務上であるとすると「打ち上がり易くないかもしくは誤診するか両方ともである」ということは成り立つということはない fact3: もし仮にあの鍵穴が慌ただしいとすればそれは業務上だ fact4: この開校式は小高くないかまたはそれは保護期間であるか両方である fact5: 仮にその関節液中が書き易い一方で熱くないとしたらあの鍵穴は慌ただしくない fact6: もしも熱いものが慌ただしいならそれは業務上でない fact7: あの鍵穴が業務上でないならこの諸子は焦れったいということはないかあるいはそれは打ち上がり易い fact8: その立地変動は誤診するかもしくはそれは受け入れ易いかまたは両方ともである fact9: あの鍵穴は打ち上がり易いかそれは誤診する fact10: 仮に「「何らかのものは小高くないしおまけにそれは熱くない」ということは確かである」ということは間違いであるとしたら熱い fact11: あの鍵穴は打ち上がり易いということはないかあるいはそれは誤診するか両方ともである
fact11 -> hypothesis;
fact11 -> hypothesis;
この諸子は焦れったくないかまたは打ち上がり易いかあるいは両方ともである
fact13 -> int1: 仮にあの鍵穴が熱いしその上慌ただしいとするとそれは業務上でない; fact12 -> int2: 仮に「あの鍵穴は小高くないし熱くない」ということは誤っていれば熱い;
$facts$ = fact1: あの鍵穴は怒鳴り返さないかまたはそれは誤診する fact2: もし仮に何かは業務上であるとすると「打ち上がり易くないかもしくは誤診するか両方ともである」ということは成り立つということはない fact3: もし仮にあの鍵穴が慌ただしいとすればそれは業務上だ fact4: この開校式は小高くないかまたはそれは保護期間であるか両方である fact5: 仮にその関節液中が書き易い一方で熱くないとしたらあの鍵穴は慌ただしくない fact6: もしも熱いものが慌ただしいならそれは業務上でない fact7: あの鍵穴が業務上でないならこの諸子は焦れったいということはないかあるいはそれは打ち上がり易い fact8: その立地変動は誤診するかもしくはそれは受け入れ易いかまたは両方ともである fact9: あの鍵穴は打ち上がり易いかそれは誤診する fact10: 仮に「「何らかのものは小高くないしおまけにそれは熱くない」ということは確かである」ということは間違いであるとしたら熱い fact11: あの鍵穴は打ち上がり易いということはないかあるいはそれは誤診するか両方ともである ; $hypothesis$ = あの鍵穴は打ち上がり易くないか誤診する ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: あの鍵穴は怒鳴り返さないかまたはそれは誤診する
事実2: もし仮に何かは業務上であるとすると「打ち上がり易くないかもしくは誤診するか両方ともである」ということは成り立つということはない
事実3: もし仮にあの鍵穴が慌ただしいとすればそれは業務上だ
事実4: この開校式は小高くないかまたはそれは保護期間であるか両方である
事実5: 仮にその関節液中が書き易い一方で熱くないとしたらあの鍵穴は慌ただしくない
事実6: もしも熱いものが慌ただしいならそれは業務上でない
事実7: あの鍵穴が業務上でないならこの諸子は焦れったいということはないかあるいはそれは打ち上がり易い
事実8: その立地変動は誤診するかもしくはそれは受け入れ易いかまたは両方ともである
事実9: あの鍵穴は打ち上がり易いかそれは誤診する
事実10: 仮に「「何らかのものは小高くないしおまけにそれは熱くない」ということは確かである」ということは間違いであるとしたら熱い
事実11: あの鍵穴は打ち上がり易いということはないかあるいはそれは誤診するか両方ともである

仮説: あの鍵穴は打ち上がり易くないか誤診する
1. 事実11から、仮説が導かれる

よって、仮説が証明されました。