「その国際金融市場は実現過程でないがしかし常勤する」ということは事実と異なる
fact1: その機宜は金塊でない fact2: 「その軌跡は実現過程でない」ということは本当だとすると「その国際金融市場は実現過程だしそれに常勤する」ということは成り立たない fact3: 仮に何かは金塊でないとすると切開しなくてそれは解消出来ない fact4: 「もしもその軌跡は実現過程でないなら「その国際金融市場は実現過程でないが常勤する」ということは成り立たない」ということは真実だ fact5: もしも「なにがしかの物は常勤するかあるいは号泣するかもしくは両方である」ということは嘘であるとすると恋しかない fact6: 仮になにかは示し為さらないなら「それは常勤するかまたはそれは号泣するかもしくはどちらもである」ということは確かでない fact7: その機宜はシェークしない fact8: もしもなにがしかの物が恋しいということはないとしたらそれはシェークしないか実現過程でないかまたはどちらもである fact9: もしもその機宜が金塊でないしシェークしないならばあの軌跡は実現過程であるということはない
fact1 & fact7 -> int1: その機宜は金塊でなくて更にシェークしない; int1 & fact9 -> int2: その軌跡は実現過程でない; int2 & fact4 -> hypothesis;
あの脇方は切開しなくてその上それは解消出来ない
fact12 -> int3: もしあの脇方は金塊でないとしたらそれは切開するということはないし解消出来ない; fact13 -> int4: もし仮にその軌跡は示し為さらないとしたら「それは常勤するか号泣する」ということは成り立たない; fact10 -> int5: 「仮に「その機宜は常勤するかまたは号泣するかまたは両方である」ということは間違いだとすると「その機宜は恋しかない」ということは事実だ」ということは真実である; fact11 -> int6: もし仮にその機宜が恋しかないとするとそれはシェークしないかそれは実現過程でない;
$facts$ = fact1: その機宜は金塊でない fact2: 「その軌跡は実現過程でない」ということは本当だとすると「その国際金融市場は実現過程だしそれに常勤する」ということは成り立たない fact3: 仮に何かは金塊でないとすると切開しなくてそれは解消出来ない fact4: 「もしもその軌跡は実現過程でないなら「その国際金融市場は実現過程でないが常勤する」ということは成り立たない」ということは真実だ fact5: もしも「なにがしかの物は常勤するかあるいは号泣するかもしくは両方である」ということは嘘であるとすると恋しかない fact6: 仮になにかは示し為さらないなら「それは常勤するかまたはそれは号泣するかもしくはどちらもである」ということは確かでない fact7: その機宜はシェークしない fact8: もしもなにがしかの物が恋しいということはないとしたらそれはシェークしないか実現過程でないかまたはどちらもである fact9: もしもその機宜が金塊でないしシェークしないならばあの軌跡は実現過程であるということはない ; $hypothesis$ = 「その国際金融市場は実現過程でないがしかし常勤する」ということは事実と異なる ; $proof$ = 
fact1 & fact7 -> int1: その機宜は金塊でなくて更にシェークしない; int1 & fact9 -> int2: その軌跡は実現過程でない; int2 & fact4 -> hypothesis; __PROVED__
事実1: その機宜は金塊でない
事実2: 「その軌跡は実現過程でない」ということは本当だとすると「その国際金融市場は実現過程だしそれに常勤する」ということは成り立たない
事実3: 仮に何かは金塊でないとすると切開しなくてそれは解消出来ない
事実4: 「もしもその軌跡は実現過程でないなら「その国際金融市場は実現過程でないが常勤する」ということは成り立たない」ということは真実だ
事実5: もしも「なにがしかの物は常勤するかあるいは号泣するかもしくは両方である」ということは嘘であるとすると恋しかない
事実6: 仮になにかは示し為さらないなら「それは常勤するかまたはそれは号泣するかもしくはどちらもである」ということは確かでない
事実7: その機宜はシェークしない
事実8: もしもなにがしかの物が恋しいということはないとしたらそれはシェークしないか実現過程でないかまたはどちらもである
事実9: もしもその機宜が金塊でないしシェークしないならばあの軌跡は実現過程であるということはない

仮説: 「その国際金融市場は実現過程でないがしかし常勤する」ということは事実と異なる
1. 事実1と事実7から、推論1: "その機宜は金塊でなくて更にシェークしない"が導かれる
2. 推論1と事実9から、推論2: "その軌跡は実現過程でない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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