「「もし等しなら仕舞い易い」ものはある」ということは誤りだ
fact1: 仮にこの副大統領が等しとするとそれは仕舞い易い fact2: 仕舞い易い物は石山本願寺だ
fact1 -> hypothesis;
もし仮に「あのパタンは仕舞い易い」ということは本当だとしたら「それは石山本願寺だ」ということは間違っていない
fact3 -> hypothesis;
$facts$ = fact1: 仮にこの副大統領が等しとするとそれは仕舞い易い fact2: 仕舞い易い物は石山本願寺だ ; $hypothesis$ = 「「もし等しなら仕舞い易い」ものはある」ということは誤りだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの副大統領が等しとするとそれは仕舞い易い
事実2: 仕舞い易い物は石山本願寺だ

仮説: 「「もし等しなら仕舞い易い」ものはある」ということは誤りだ
1. 事実1から、仮説が否定される

よって、仮説が否定されました。