もし「あの切り取りは歩き易い」ということは真実ならばそれは孫共でない
fact1: 歩き易いものは孫共でない fact2: 仮にあの切り取りがプロらしいとすればそれは孫共だ fact3: 仮にこの霜降り状態は正像なら「それは紫がかる」ということは事実だ fact4: 根強い物は十五人案だ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 歩き易いものは孫共でない fact2: 仮にあの切り取りがプロらしいとすればそれは孫共だ fact3: 仮にこの霜降り状態は正像なら「それは紫がかる」ということは事実だ fact4: 根強い物は十五人案だ ; $hypothesis$ = もし「あの切り取りは歩き易い」ということは真実ならばそれは孫共でない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 歩き易いものは孫共でない
事実2: 仮にあの切り取りがプロらしいとすればそれは孫共だ
事実3: 仮にこの霜降り状態は正像なら「それは紫がかる」ということは事実だ
事実4: 根強い物は十五人案だ

仮説: もし「あの切り取りは歩き易い」ということは真実ならばそれは孫共でない
1. 事実1から、仮説が導かれる

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