あの装具は副審でない
fact1: もしもこのＪＯＢが企業数ならあの装具は副審だ fact2: このＪＯＢは生じ兼ねるかもしくはそれは企業数であるかあるいはどちらもである fact3: もし仮にこのＪＯＢが生じ兼ねるとするとあの装具は副審である
$facts$ = fact1: もしもこのＪＯＢが企業数ならあの装具は副審だ fact2: このＪＯＢは生じ兼ねるかもしくはそれは企業数であるかあるいはどちらもである fact3: もし仮にこのＪＯＢが生じ兼ねるとするとあの装具は副審である ; $hypothesis$ = あの装具は副審でない ; $proof$ = 
事実1: もしもこのＪＯＢが企業数ならあの装具は副審だ
事実2: このＪＯＢは生じ兼ねるかもしくはそれは企業数であるかあるいはどちらもである
事実3: もし仮にこのＪＯＢが生じ兼ねるとするとあの装具は副審である

仮説: あの装具は副審でない