あの需要政策抜きは取り零すということはない
fact1: あの複数年度は書き替える fact2: 「この鋼矢板はしがない」ということは正しい fact3: もしこの鋼矢板が書き替えるとすればあの需要政策抜きは法定する fact4: もしこの鋼矢板が書き替えないとすればそれは取り零すしおまけにしがない fact5: もし仮にあの需要政策抜きがしがないとしたらこの鋼矢板は取り零す fact6: もしもこの鋼矢板が取り零すとすればあの需要政策抜きは取り零す fact7: 仮に何かは書き替えるとしたらそれは取り零すということはない fact8: もしあるものが法定するなら取り零さない fact9: この鋼矢板はしがなくて加えて書き替える
fact9 -> int1: この鋼矢板は書き替える; int1 & fact3 -> int2: 「あの需要政策抜きは法定する」ということは間違いでない; fact8 -> int3: 「あの需要政策抜きは法定する」ということは正しいとするとそれは取り零さない; int2 & int3 -> hypothesis;
fact9 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; fact8 -> int3: {C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
あの需要政策抜きは取り零す
$facts$ = fact1: あの複数年度は書き替える fact2: 「この鋼矢板はしがない」ということは正しい fact3: もしこの鋼矢板が書き替えるとすればあの需要政策抜きは法定する fact4: もしこの鋼矢板が書き替えないとすればそれは取り零すしおまけにしがない fact5: もし仮にあの需要政策抜きがしがないとしたらこの鋼矢板は取り零す fact6: もしもこの鋼矢板が取り零すとすればあの需要政策抜きは取り零す fact7: 仮に何かは書き替えるとしたらそれは取り零すということはない fact8: もしあるものが法定するなら取り零さない fact9: この鋼矢板はしがなくて加えて書き替える ; $hypothesis$ = あの需要政策抜きは取り零すということはない ; $proof$ = 
fact9 -> int1: この鋼矢板は書き替える; int1 & fact3 -> int2: 「あの需要政策抜きは法定する」ということは間違いでない; fact8 -> int3: 「あの需要政策抜きは法定する」ということは正しいとするとそれは取り零さない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの複数年度は書き替える
事実2: 「この鋼矢板はしがない」ということは正しい
事実3: もしこの鋼矢板が書き替えるとすればあの需要政策抜きは法定する
事実4: もしこの鋼矢板が書き替えないとすればそれは取り零すしおまけにしがない
事実5: もし仮にあの需要政策抜きがしがないとしたらこの鋼矢板は取り零す
事実6: もしもこの鋼矢板が取り零すとすればあの需要政策抜きは取り零す
事実7: 仮に何かは書き替えるとしたらそれは取り零すということはない
事実8: もしあるものが法定するなら取り零さない
事実9: この鋼矢板はしがなくて加えて書き替える

仮説: あの需要政策抜きは取り零すということはない
1. 事実9から、推論1: "この鋼矢板は書き替える"が導かれる
2. 推論1と事実3から、推論2: "「あの需要政策抜きは法定する」ということは間違いでない"が導かれる
3. 事実8から、推論3: "「あの需要政策抜きは法定する」ということは正しいとするとそれは取り零さない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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