仮に「「この黒竜はえげつないということはないかもしくはそれは渡御しないかまたはどちらもだ」ということは間違いである」ということは成り立つならそれは出易くない
fact1: 「何かはえげつなくないかあるいは渡御しないかもしくはどちらもである」ということは誤りならそれは出易いということはない
$facts$ = fact1: 「何かはえげつなくないかあるいは渡御しないかもしくはどちらもである」ということは誤りならそれは出易いということはない ; $hypothesis$ = 仮に「「この黒竜はえげつないということはないかもしくはそれは渡御しないかまたはどちらもだ」ということは間違いである」ということは成り立つならそれは出易くない ; $proof$ = 
事実1: 「何かはえげつなくないかあるいは渡御しないかもしくはどちらもである」ということは誤りならそれは出易いということはない

仮説: 仮に「「この黒竜はえげつないということはないかもしくはそれは渡御しないかまたはどちらもだ」ということは間違いである」ということは成り立つならそれは出易くない