「その元大関は自滅しないけれど調べ易い」ということは成り立たない
fact1: ある物は甘くない fact2: もしもある物が甘くないならばその元大関は自滅しないがしかしそれは調べ易い
$facts$ = fact1: ある物は甘くない fact2: もしもある物が甘くないならばその元大関は自滅しないがしかしそれは調べ易い ; $hypothesis$ = 「その元大関は自滅しないけれど調べ易い」ということは成り立たない ; $proof$ = 
事実1: ある物は甘くない
事実2: もしもある物が甘くないならばその元大関は自滅しないがしかしそれは調べ易い

仮説: 「その元大関は自滅しないけれど調べ易い」ということは成り立たない