もしも「あのオペアは重々しかなくて自白しない」ということは間違っていればこそばゆい
fact1: もし「「なにがしかのものは重々しかなくて加えて自白するということはない」ということは成り立つ」ということは間違っているとするとこそばゆい
$facts$ = fact1: もし「「なにがしかのものは重々しかなくて加えて自白するということはない」ということは成り立つ」ということは間違っているとするとこそばゆい ; $hypothesis$ = もしも「あのオペアは重々しかなくて自白しない」ということは間違っていればこそばゆい ; $proof$ = 
事実1: もし「「なにがしかのものは重々しかなくて加えて自白するということはない」ということは成り立つ」ということは間違っているとするとこそばゆい

仮説: もしも「あのオペアは重々しかなくて自白しない」ということは間違っていればこそばゆい