「仮に「この蒸気機関はえげつないけれど二十五図でない」ということは間違っているとしたらこの蒸気機関は崩し易いということはない」ということは成り立つということはない
fact1: 「何らかのものはえげつないがしかし二十五図でない」ということは成り立つということはないとすればそれは崩し易くない
$facts$ = fact1: 「何らかのものはえげつないがしかし二十五図でない」ということは成り立つということはないとすればそれは崩し易くない ; $hypothesis$ = 「仮に「この蒸気機関はえげつないけれど二十五図でない」ということは間違っているとしたらこの蒸気機関は崩し易いということはない」ということは成り立つということはない ; $proof$ = 
事実1: 「何らかのものはえげつないがしかし二十五図でない」ということは成り立つということはないとすればそれは崩し易くない

仮説: 「仮に「この蒸気機関はえげつないけれど二十五図でない」ということは間違っているとしたらこの蒸気機関は崩し易いということはない」ということは成り立つということはない