もし仮にあの縁切り榎が弁解がましいならばそれは重たくないけれど切れ易い
fact1: とあるものが弁解がましいなら重たくないがしかし切れ易い fact2: もしもある物が弁解がましいとすればそれは重たくない fact3: 仮にある物が自己運動情報だとしたら鏡鑑でないけれど這い込む
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: とあるものが弁解がましいなら重たくないがしかし切れ易い fact2: もしもある物が弁解がましいとすればそれは重たくない fact3: 仮にある物が自己運動情報だとしたら鏡鑑でないけれど這い込む ; $hypothesis$ = もし仮にあの縁切り榎が弁解がましいならばそれは重たくないけれど切れ易い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: とあるものが弁解がましいなら重たくないがしかし切れ易い
事実2: もしもある物が弁解がましいとすればそれは重たくない
事実3: 仮にある物が自己運動情報だとしたら鏡鑑でないけれど這い込む

仮説: もし仮にあの縁切り榎が弁解がましいならばそれは重たくないけれど切れ易い
1. 事実1から、仮説が導かれる

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