「阻止すれば財投債でないしまたＪフレームである」ものはある
fact1: 仮になんらかのものが阻止するとしたらそれは財投債でないけれどＪフレームだ fact2: 仮になにがしかのものが阻止するとするとそれは財投債であるということはない fact3: なにかは受け取るならそれは卑しくないしかつそれは監視し易い
fact1 -> int1: もしもこのプロローグが阻止すればそれは財投債でないしそれはＪフレームである; int1 -> hypothesis;
「もし受け取るなら卑しいということはないしさらに監視し易い」ものはある
fact4 -> int2: もしこの恥芯が受け取れば卑しくないけど監視し易い; int2 -> hypothesis;
$facts$ = fact1: 仮になんらかのものが阻止するとしたらそれは財投債でないけれどＪフレームだ fact2: 仮になにがしかのものが阻止するとするとそれは財投債であるということはない fact3: なにかは受け取るならそれは卑しくないしかつそれは監視し易い ; $hypothesis$ = 「阻止すれば財投債でないしまたＪフレームである」ものはある ; $proof$ = 
fact1 -> int1: もしもこのプロローグが阻止すればそれは財投債でないしそれはＪフレームである; int1 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが阻止するとしたらそれは財投債でないけれどＪフレームだ
事実2: 仮になにがしかのものが阻止するとするとそれは財投債であるということはない
事実3: なにかは受け取るならそれは卑しくないしかつそれは監視し易い

仮説: 「阻止すれば財投債でないしまたＪフレームである」ものはある
1. 事実1から、推論1: "もしもこのプロローグが阻止すればそれは財投債でないしそれはＪフレームである"が導かれる
2. 推論1から、仮説が導かれる

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