そのＫＹＯＮは堆くなくて進上しない
fact1: 「そのＫＹＯＮは堆くないし加えてそれは進上するということはない」ということは間違いである
$facts$ = fact1: 「そのＫＹＯＮは堆くないし加えてそれは進上するということはない」ということは間違いである ; $hypothesis$ = そのＫＹＯＮは堆くなくて進上しない ; $proof$ = 
事実1: 「そのＫＹＯＮは堆くないし加えてそれは進上するということはない」ということは間違いである

仮説: そのＫＹＯＮは堆くなくて進上しない