「もし「この大リーグ野球は無風だけれど起こし難いということはない」ということは誤っていれば「この大リーグ野球は食べ切らない」ということは正しい」ということは成り立つということはない
fact1: もしも「なにがしかの物は無風であるけど起こし難いということはない」ということは間違いであるならばそれは食べ切らない
$facts$ = fact1: もしも「なにがしかの物は無風であるけど起こし難いということはない」ということは間違いであるならばそれは食べ切らない ; $hypothesis$ = 「もし「この大リーグ野球は無風だけれど起こし難いということはない」ということは誤っていれば「この大リーグ野球は食べ切らない」ということは正しい」ということは成り立つということはない ; $proof$ = 
事実1: もしも「なにがしかの物は無風であるけど起こし難いということはない」ということは間違いであるならばそれは食べ切らない

仮説: 「もし「この大リーグ野球は無風だけれど起こし難いということはない」ということは誤っていれば「この大リーグ野球は食べ切らない」ということは正しい」ということは成り立つということはない