その写真投影法は売買当事者である
fact1: 「拠出限度額でないか思惟しないかもしくは両方な」物はある fact2: 仮に「とあるものは河水でないししかもゆとりでない」ということは誤っているなら「売買当事者である」ということは成り立つ fact3: もし「拠出限度額でないかあるいは思惟しない」ものがあるとするとその写真投影法は拠出限度額でない fact4: 仮になんらかの物は拠出限度額でないとすれば「それは河水だということはないしまたゆとりでない」ということは偽だ
fact4 -> int1: もしその写真投影法は拠出限度額でないなら「それは河水でなくてまたゆとりであるということはない」ということは間違いである; fact3 & fact1 -> int2: その写真投影法は拠出限度額でない; int1 & int2 -> int3: 「その写真投影法は河水でないしそれはゆとりでない」ということは成り立たない; fact2 -> int4: 仮に「その写真投影法は河水でなくてそれにゆとりでない」ということは本当でないならば「売買当事者である」ということは誤っているということはない; int3 & int4 -> hypothesis;
$facts$ = fact1: 「拠出限度額でないか思惟しないかもしくは両方な」物はある fact2: 仮に「とあるものは河水でないししかもゆとりでない」ということは誤っているなら「売買当事者である」ということは成り立つ fact3: もし「拠出限度額でないかあるいは思惟しない」ものがあるとするとその写真投影法は拠出限度額でない fact4: 仮になんらかの物は拠出限度額でないとすれば「それは河水だということはないしまたゆとりでない」ということは偽だ ; $hypothesis$ = その写真投影法は売買当事者である ; $proof$ = 
fact4 -> int1: もしその写真投影法は拠出限度額でないなら「それは河水でなくてまたゆとりであるということはない」ということは間違いである; fact3 & fact1 -> int2: その写真投影法は拠出限度額でない; int1 & int2 -> int3: 「その写真投影法は河水でないしそれはゆとりでない」ということは成り立たない; fact2 -> int4: 仮に「その写真投影法は河水でなくてそれにゆとりでない」ということは本当でないならば「売買当事者である」ということは誤っているということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「拠出限度額でないか思惟しないかもしくは両方な」物はある
事実2: 仮に「とあるものは河水でないししかもゆとりでない」ということは誤っているなら「売買当事者である」ということは成り立つ
事実3: もし「拠出限度額でないかあるいは思惟しない」ものがあるとするとその写真投影法は拠出限度額でない
事実4: 仮になんらかの物は拠出限度額でないとすれば「それは河水だということはないしまたゆとりでない」ということは偽だ

仮説: その写真投影法は売買当事者である
1. 事実4から、推論1: "もしその写真投影法は拠出限度額でないなら「それは河水でなくてまたゆとりであるということはない」ということは間違いである"が導かれる
2. 事実3と事実1から、推論2: "その写真投影法は拠出限度額でない"が導かれる
3. 推論1と推論2から、推論3: "「その写真投影法は河水でないしそれはゆとりでない」ということは成り立たない"が導かれる
4. 事実2から、推論4: "仮に「その写真投影法は河水でなくてそれにゆとりでない」ということは本当でないならば「売買当事者である」ということは誤っているということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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