その戦略課題は用心深いしかつそれは償却不足額である
fact1: その戦略課題はすこくて用心深い fact2: この利息法は取得価額等でないけど決め難い fact3: この利息法が取得価額等でないが決め難いならその戦略課題は知行書き出しである fact4: もしもなにがしかの物は知行書き出しであるなら「それは償却不足額だ」ということは成り立つ
fact3 & fact2 -> int1: その戦略課題は知行書き出しだ; fact4 -> int2: もしもその戦略課題が知行書き出しだとしたらそれは償却不足額だ; int1 & int2 -> int3: その戦略課題は償却不足額だ; fact1 -> int4: その戦略課題は用心深い; int3 & int4 -> hypothesis;
$facts$ = fact1: その戦略課題はすこくて用心深い fact2: この利息法は取得価額等でないけど決め難い fact3: この利息法が取得価額等でないが決め難いならその戦略課題は知行書き出しである fact4: もしもなにがしかの物は知行書き出しであるなら「それは償却不足額だ」ということは成り立つ ; $hypothesis$ = その戦略課題は用心深いしかつそれは償却不足額である ; $proof$ = 
fact3 & fact2 -> int1: その戦略課題は知行書き出しだ; fact4 -> int2: もしもその戦略課題が知行書き出しだとしたらそれは償却不足額だ; int1 & int2 -> int3: その戦略課題は償却不足額だ; fact1 -> int4: その戦略課題は用心深い; int3 & int4 -> hypothesis; __PROVED__
事実1: その戦略課題はすこくて用心深い
事実2: この利息法は取得価額等でないけど決め難い
事実3: この利息法が取得価額等でないが決め難いならその戦略課題は知行書き出しである
事実4: もしもなにがしかの物は知行書き出しであるなら「それは償却不足額だ」ということは成り立つ

仮説: その戦略課題は用心深いしかつそれは償却不足額である
1. 事実3と事実2から、推論1: "その戦略課題は知行書き出しだ"が導かれる
2. 事実4から、推論2: "もしもその戦略課題が知行書き出しだとしたらそれは償却不足額だ"が導かれる
3. 推論1と推論2から、推論3: "その戦略課題は償却不足額だ"が導かれる
4. 事実1から、推論4: "その戦略課題は用心深い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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