その変動ファイルは旋盤加工でない
fact1: あの技術要素は専従しない fact2: その元気君は専従しない fact3: あの技術要素が専従するということはないならばその変動ファイルは旋盤加工である
$facts$ = fact1: あの技術要素は専従しない fact2: その元気君は専従しない fact3: あの技術要素が専従するということはないならばその変動ファイルは旋盤加工である ; $hypothesis$ = その変動ファイルは旋盤加工でない ; $proof$ = 
事実1: あの技術要素は専従しない
事実2: その元気君は専従しない
事実3: あの技術要素が専従するということはないならばその変動ファイルは旋盤加工である

仮説: その変動ファイルは旋盤加工でない