そのモロ族は不開示である
fact1: 「「際限無くないけれどバージョンアップする」ということは間違いである」ものはある fact2: もし「「際限無いということはないがしかしバージョンアップする」ということは成り立たない」物はあるなら「そのモロ族は不開示だ」ということは成り立つ
$facts$ = fact1: 「「際限無くないけれどバージョンアップする」ということは間違いである」ものはある fact2: もし「「際限無いということはないがしかしバージョンアップする」ということは成り立たない」物はあるなら「そのモロ族は不開示だ」ということは成り立つ ; $hypothesis$ = そのモロ族は不開示である ; $proof$ = 
事実1: 「「際限無くないけれどバージョンアップする」ということは間違いである」ものはある
事実2: もし「「際限無いということはないがしかしバージョンアップする」ということは成り立たない」物はあるなら「そのモロ族は不開示だ」ということは成り立つ

仮説: そのモロ族は不開示である