あの武装解除は中袋でない
fact1: もしこの執行機能が暗しないか中袋でないかまたは両方ともであるとすればあの武装解除は中袋だ fact2: あの武装解除は気怠くらない fact3: その加藤神社は気怠いということはない fact4: もし仮にあの武装解除が明るいということはないなら気まずくない fact5: もしもこのクリスマスイブが返還すらないとしたらそれは華々しくない fact6: 仮にあの武装解除は編み付けるということはないなら「それは気怠いということはない」ということは本当である fact7: あの武装解除は手向けない fact8: もしあの武装解除が気怠くらないとしたら中袋でない fact9: あの武装解除は青臭いということはない fact10: あの武装解除は魅せない fact11: なにかは中袋でないとしたら絶え難くない fact12: もしあのペイン・スターリングは中袋だということはないとしたら「それは頼み難いということはない」ということは成り立つ fact13: あの武装解除はペーストしない fact14: この代わりは気怠くらない fact15: もし仮にあの武装解除は理解し易くないならばそれは在住しない
fact8 & fact2 -> hypothesis;
あの武装解除は中袋である
$facts$ = fact1: もしこの執行機能が暗しないか中袋でないかまたは両方ともであるとすればあの武装解除は中袋だ fact2: あの武装解除は気怠くらない fact3: その加藤神社は気怠いということはない fact4: もし仮にあの武装解除が明るいということはないなら気まずくない fact5: もしもこのクリスマスイブが返還すらないとしたらそれは華々しくない fact6: 仮にあの武装解除は編み付けるということはないなら「それは気怠いということはない」ということは本当である fact7: あの武装解除は手向けない fact8: もしあの武装解除が気怠くらないとしたら中袋でない fact9: あの武装解除は青臭いということはない fact10: あの武装解除は魅せない fact11: なにかは中袋でないとしたら絶え難くない fact12: もしあのペイン・スターリングは中袋だということはないとしたら「それは頼み難いということはない」ということは成り立つ fact13: あの武装解除はペーストしない fact14: この代わりは気怠くらない fact15: もし仮にあの武装解除は理解し易くないならばそれは在住しない ; $hypothesis$ = あの武装解除は中袋でない ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: もしこの執行機能が暗しないか中袋でないかまたは両方ともであるとすればあの武装解除は中袋だ
事実2: あの武装解除は気怠くらない
事実3: その加藤神社は気怠いということはない
事実4: もし仮にあの武装解除が明るいということはないなら気まずくない
事実5: もしもこのクリスマスイブが返還すらないとしたらそれは華々しくない
事実6: 仮にあの武装解除は編み付けるということはないなら「それは気怠いということはない」ということは本当である
事実7: あの武装解除は手向けない
事実8: もしあの武装解除が気怠くらないとしたら中袋でない
事実9: あの武装解除は青臭いということはない
事実10: あの武装解除は魅せない
事実11: なにかは中袋でないとしたら絶え難くない
事実12: もしあのペイン・スターリングは中袋だということはないとしたら「それは頼み難いということはない」ということは成り立つ
事実13: あの武装解除はペーストしない
事実14: この代わりは気怠くらない
事実15: もし仮にあの武装解除は理解し易くないならばそれは在住しない

仮説: あの武装解除は中袋でない
1. 事実8と事実2から、仮説が導かれる

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