あの部課はプログラム援助でない
fact1: もしもあの部課は殴り倒さないしかつ万物でないとしたらそれはプログラム援助だ fact2: あの部課は殴り倒さなくて万物でない
$facts$ = fact1: もしもあの部課は殴り倒さないしかつ万物でないとしたらそれはプログラム援助だ fact2: あの部課は殴り倒さなくて万物でない ; $hypothesis$ = あの部課はプログラム援助でない ; $proof$ = 
事実1: もしもあの部課は殴り倒さないしかつ万物でないとしたらそれはプログラム援助だ
事実2: あの部課は殴り倒さなくて万物でない

仮説: あの部課はプログラム援助でない