「あの開示府令は任用しなくて加えてコンパイルでない」ということは偽だ
fact1: 「あの開示府令は任用しなくてかつコンパイルだということはない」ということは偽だ
$facts$ = fact1: 「あの開示府令は任用しなくてかつコンパイルだということはない」ということは偽だ ; $hypothesis$ = 「あの開示府令は任用しなくて加えてコンパイルでない」ということは偽だ ; $proof$ = 
事実1: 「あの開示府令は任用しなくてかつコンパイルだということはない」ということは偽だ

仮説: 「あの開示府令は任用しなくて加えてコンパイルでない」ということは偽だ