このファイル生成は職務等級制度である
fact1: とあるものは出難くない fact2: もしも何らかのものが出難くないならばあのファイル生成は職務等級制度でない
$facts$ = fact1: とあるものは出難くない fact2: もしも何らかのものが出難くないならばあのファイル生成は職務等級制度でない ; $hypothesis$ = このファイル生成は職務等級制度である ; $proof$ = 
事実1: とあるものは出難くない
事実2: もしも何らかのものが出難くないならばあのファイル生成は職務等級制度でない

仮説: このファイル生成は職務等級制度である