その予算作成支援システムは合弁企業でない
fact1: もしその予算作成支援システムが太り易くないとするとそれは合弁企業でない fact2: その予算作成支援システムは太り易くない
$facts$ = fact1: もしその予算作成支援システムが太り易くないとするとそれは合弁企業でない fact2: その予算作成支援システムは太り易くない ; $hypothesis$ = その予算作成支援システムは合弁企業でない ; $proof$ = 
事実1: もしその予算作成支援システムが太り易くないとするとそれは合弁企業でない
事実2: その予算作成支援システムは太り易くない

仮説: その予算作成支援システムは合弁企業でない