その起こり方はＺ重役だ
fact1: この考え等は発生し易いかそれは白くないか両方ともだ fact2: この考え等は見境無い fact3: 「受け入れられ易くない物はＺ重役だしまた下ろし易い」ということは正しい fact4: この寿司下駄は発生し易い fact5: 「この考え等は資するしかつ換価処分する」ということは成り立たない fact6: 仮に「この考え等は発生し易い」ということは正しいならばその起こり方はＺ重役だ fact7: 仮にとある物が下ろし易いならばそれは登録手数料でない fact8: 「この考え等は登録手数料でない」ということは成り立たない fact9: もしこの考え等が発生し易いかあるいはそれが白いということはないかどちらもであるとしたらその起こり方はＺ重役である fact10: その起こり方は発生し易い
fact9 & fact1 -> hypothesis;
fact9 & fact1 -> hypothesis;
あのループ電流は公共問題であるか登録手数料でないか両方である
fact11 -> int1: もしあのループ電流が下ろし易いとしたら登録手数料であるということはない; fact12 -> int2: もし「あのループ電流は受け入れられ易くない」ということは確かであるとするとそれはＺ重役であるし更に下ろし易い; fact13 -> int3: 「「資するしそれに換価処分する」ということは事実と異なる」物はある;
$facts$ = fact1: この考え等は発生し易いかそれは白くないか両方ともだ fact2: この考え等は見境無い fact3: 「受け入れられ易くない物はＺ重役だしまた下ろし易い」ということは正しい fact4: この寿司下駄は発生し易い fact5: 「この考え等は資するしかつ換価処分する」ということは成り立たない fact6: 仮に「この考え等は発生し易い」ということは正しいならばその起こり方はＺ重役だ fact7: 仮にとある物が下ろし易いならばそれは登録手数料でない fact8: 「この考え等は登録手数料でない」ということは成り立たない fact9: もしこの考え等が発生し易いかあるいはそれが白いということはないかどちらもであるとしたらその起こり方はＺ重役である fact10: その起こり方は発生し易い ; $hypothesis$ = その起こり方はＺ重役だ ; $proof$ = 
fact9 & fact1 -> hypothesis; __PROVED__
事実1: この考え等は発生し易いかそれは白くないか両方ともだ
事実2: この考え等は見境無い
事実3: 「受け入れられ易くない物はＺ重役だしまた下ろし易い」ということは正しい
事実4: この寿司下駄は発生し易い
事実5: 「この考え等は資するしかつ換価処分する」ということは成り立たない
事実6: 仮に「この考え等は発生し易い」ということは正しいならばその起こり方はＺ重役だ
事実7: 仮にとある物が下ろし易いならばそれは登録手数料でない
事実8: 「この考え等は登録手数料でない」ということは成り立たない
事実9: もしこの考え等が発生し易いかあるいはそれが白いということはないかどちらもであるとしたらその起こり方はＺ重役である
事実10: その起こり方は発生し易い

仮説: その起こり方はＺ重役だ
1. 事実9と事実1から、仮説が導かれる

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