あのシステム条件は説明し難い
fact1: あのシステム条件は辛い fact2: あのシステム条件が辛いとすれば説明し難い
$facts$ = fact1: あのシステム条件は辛い fact2: あのシステム条件が辛いとすれば説明し難い ; $hypothesis$ = あのシステム条件は説明し難い ; $proof$ = 
事実1: あのシステム条件は辛い
事実2: あのシステム条件が辛いとすれば説明し難い

仮説: あのシステム条件は説明し難い