そのマスクプロパティは電気炉であるということはない
fact1: そのマスクプロパティは電気炉でなくてそれに探査しない
$facts$ = fact1: そのマスクプロパティは電気炉でなくてそれに探査しない ; $hypothesis$ = そのマスクプロパティは電気炉であるということはない ; $proof$ = 
事実1: そのマスクプロパティは電気炉でなくてそれに探査しない

仮説: そのマスクプロパティは電気炉であるということはない