あのベンチマークテストはムン・マオ王国でない
fact1: あのベンチマークテストはムン・マオ王国だし加えて高額化する
$facts$ = fact1: あのベンチマークテストはムン・マオ王国だし加えて高額化する ; $hypothesis$ = あのベンチマークテストはムン・マオ王国でない ; $proof$ = 
事実1: あのベンチマークテストはムン・マオ王国だし加えて高額化する

仮説: あのベンチマークテストはムン・マオ王国でない