もしその電子メディアがカットオフであるとすればあの共犯者は見下ろせる
fact1: この償却原価法はカットオフだ fact2: もし仮にこの償却原価法が方形窓であるとするとあの共犯者は見下ろせる fact3: あの共犯者は集計方法である fact4: その電子メディアがカットオフだとすればこの償却原価法は方形窓である fact5: 仮になにかは痛手でないならそれは買い易くなくておまけに見下ろせない fact6: 仮にその電子メディアが見下ろせるとすればあの共犯者はカットオフだ fact7: もしも何らかの物が見下ろせないならそれは方形窓であるしかつカットオフである fact8: もし仮にこの償却原価法がカットオフだとするとその電子メディアは方形窓だ fact9: この二区分データは方形窓である fact10: あの共犯者はカットオフであるなら「その電子メディアは見下ろせる」ということは正しい fact11: あの共犯者は方形窓である
void -> assump1: 以下のように仮定する。その電子メディアはカットオフである; fact4 & assump1 -> int1: この償却原価法は方形窓である; int1 & fact2 -> int2: あの共犯者は見下ろせる; [assump1] & int2 -> hypothesis;
この償却原価法はカットオフだ
fact13 -> int3: この償却原価法が見下ろせないならばそれは方形窓でカットオフである; fact12 -> int4: もしもこの償却原価法が痛手だということはないなら買い易くなくて見下ろせない;
$facts$ = fact1: この償却原価法はカットオフだ fact2: もし仮にこの償却原価法が方形窓であるとするとあの共犯者は見下ろせる fact3: あの共犯者は集計方法である fact4: その電子メディアがカットオフだとすればこの償却原価法は方形窓である fact5: 仮になにかは痛手でないならそれは買い易くなくておまけに見下ろせない fact6: 仮にその電子メディアが見下ろせるとすればあの共犯者はカットオフだ fact7: もしも何らかの物が見下ろせないならそれは方形窓であるしかつカットオフである fact8: もし仮にこの償却原価法がカットオフだとするとその電子メディアは方形窓だ fact9: この二区分データは方形窓である fact10: あの共犯者はカットオフであるなら「その電子メディアは見下ろせる」ということは正しい fact11: あの共犯者は方形窓である ; $hypothesis$ = もしその電子メディアがカットオフであるとすればあの共犯者は見下ろせる ; $proof$ = 
void -> assump1: 以下のように仮定する。その電子メディアはカットオフである; fact4 & assump1 -> int1: この償却原価法は方形窓である; int1 & fact2 -> int2: あの共犯者は見下ろせる; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この償却原価法はカットオフだ
事実2: もし仮にこの償却原価法が方形窓であるとするとあの共犯者は見下ろせる
事実3: あの共犯者は集計方法である
事実4: その電子メディアがカットオフだとすればこの償却原価法は方形窓である
事実5: 仮になにかは痛手でないならそれは買い易くなくておまけに見下ろせない
事実6: 仮にその電子メディアが見下ろせるとすればあの共犯者はカットオフだ
事実7: もしも何らかの物が見下ろせないならそれは方形窓であるしかつカットオフである
事実8: もし仮にこの償却原価法がカットオフだとするとその電子メディアは方形窓だ
事実9: この二区分データは方形窓である
事実10: あの共犯者はカットオフであるなら「その電子メディアは見下ろせる」ということは正しい
事実11: あの共犯者は方形窓である

仮説: もしその電子メディアがカットオフであるとすればあの共犯者は見下ろせる
1. 仮定1: 以下のように仮定する。その電子メディアはカットオフである
2. 事実4と仮定1から、推論1: "この償却原価法は方形窓である"が導かれる
3. 推論1と事実2から、推論2: "あの共犯者は見下ろせる"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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