「あの相互主義は配れるかまたはそれは再考すということはない」ということは誤っている
fact1: なにがしかのものは錯乱しないとしたら「「カジュアル化しなくて調べ易くない」ということは真実だ」ということは嘘だ fact2: 「あの相互主義は配れるかもしくはそれは再考すらないかまたは両方ともである」ということは成り立たない fact3: もし「なんらかのものはカジュアル化しないしさらに調べ易くない」ということは事実でないならそれは繕いだ fact4: もし仮になにがしかのものが分宿しないならばそれは配れるかもしくは再考すらないかまたは両方だ fact5: あの相互主義が繕いだとしたら分宿しなくてそれに騒がすということはない fact6: もし仮にその総括的目標が騒がすとすればあの相互主義は分宿する fact7: 繕いは騒がす
fact2 -> hypothesis;
fact2 -> hypothesis;
あの相互主義は配れるかまたは再考すらないかまたは両方ともである
fact8 -> int1: もし仮にあの相互主義が分宿しないとしたらそれは配れるかそれは再考すということはない; fact9 -> int2: 「あの相互主義はカジュアル化しなくてまた調べ易くない」ということは成り立たないならそれは繕いだ; fact11 -> int3: あの相互主義は錯乱しないならば「カジュアル化しなくてまた調べ易くない」ということは間違いである;
$facts$ = fact1: なにがしかのものは錯乱しないとしたら「「カジュアル化しなくて調べ易くない」ということは真実だ」ということは嘘だ fact2: 「あの相互主義は配れるかもしくはそれは再考すらないかまたは両方ともである」ということは成り立たない fact3: もし「なんらかのものはカジュアル化しないしさらに調べ易くない」ということは事実でないならそれは繕いだ fact4: もし仮になにがしかのものが分宿しないならばそれは配れるかもしくは再考すらないかまたは両方だ fact5: あの相互主義が繕いだとしたら分宿しなくてそれに騒がすということはない fact6: もし仮にその総括的目標が騒がすとすればあの相互主義は分宿する fact7: 繕いは騒がす ; $hypothesis$ = 「あの相互主義は配れるかまたはそれは再考すということはない」ということは誤っている ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: なにがしかのものは錯乱しないとしたら「「カジュアル化しなくて調べ易くない」ということは真実だ」ということは嘘だ
事実2: 「あの相互主義は配れるかもしくはそれは再考すらないかまたは両方ともである」ということは成り立たない
事実3: もし「なんらかのものはカジュアル化しないしさらに調べ易くない」ということは事実でないならそれは繕いだ
事実4: もし仮になにがしかのものが分宿しないならばそれは配れるかもしくは再考すらないかまたは両方だ
事実5: あの相互主義が繕いだとしたら分宿しなくてそれに騒がすということはない
事実6: もし仮にその総括的目標が騒がすとすればあの相互主義は分宿する
事実7: 繕いは騒がす

仮説: 「あの相互主義は配れるかまたはそれは再考すということはない」ということは誤っている
1. 事実2から、仮説が導かれる

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