「この制御方式は自治事務でしかもグレップだ」ということは本当でない
fact1: この制御方式はグレップである fact2: この制御方式は自治事務である
$facts$ = fact1: この制御方式はグレップである fact2: この制御方式は自治事務である ; $hypothesis$ = 「この制御方式は自治事務でしかもグレップだ」ということは本当でない ; $proof$ = 
事実1: この制御方式はグレップである
事実2: この制御方式は自治事務である

仮説: 「この制御方式は自治事務でしかもグレップだ」ということは本当でない