あの戦禍は監視する
fact1: もし仮にあの戦禍がしかつめらしいとすれば監視しない fact2: あの戦禍はしかつめらしい
$facts$ = fact1: もし仮にあの戦禍がしかつめらしいとすれば監視しない fact2: あの戦禍はしかつめらしい ; $hypothesis$ = あの戦禍は監視する ; $proof$ = 
事実1: もし仮にあの戦禍がしかつめらしいとすれば監視しない
事実2: あの戦禍はしかつめらしい

仮説: あの戦禍は監視する