その御篠は割れ易いしまた易し
fact1: その御篠は自己負担しないけれどそれは割れ易い fact2: もし仮にこのバーセルが易しとすればその御篠は易し fact3: このバーセルは易しかまたは結合し易いかあるいは両方だ fact4: 仮にこのバーセルが結合し易いとすればその御篠は易し
fact1 -> int1: 「その御篠は割れ易い」ということは成り立つ; fact2 & fact3 & fact4 -> int2: その御篠は易し; int1 & int2 -> hypothesis;
fact1 -> int1: {B}{a}; fact2 & fact3 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: その御篠は自己負担しないけれどそれは割れ易い fact2: もし仮にこのバーセルが易しとすればその御篠は易し fact3: このバーセルは易しかまたは結合し易いかあるいは両方だ fact4: 仮にこのバーセルが結合し易いとすればその御篠は易し ; $hypothesis$ = その御篠は割れ易いしまた易し ; $proof$ = 
fact1 -> int1: 「その御篠は割れ易い」ということは成り立つ; fact2 & fact3 & fact4 -> int2: その御篠は易し; int1 & int2 -> hypothesis; __PROVED__
事実1: その御篠は自己負担しないけれどそれは割れ易い
事実2: もし仮にこのバーセルが易しとすればその御篠は易し
事実3: このバーセルは易しかまたは結合し易いかあるいは両方だ
事実4: 仮にこのバーセルが結合し易いとすればその御篠は易し

仮説: その御篠は割れ易いしまた易し
1. 事実1から、推論1: "「その御篠は割れ易い」ということは成り立つ"が導かれる
2. 事実2と事実3と事実4から、推論2: "その御篠は易し"が導かれる
3. 推論1と推論2から、仮説が導かれる

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