あの終戦記念日は情報部門でない
fact1: もしもあの終戦記念日が赤いならそれは情報部門だ fact2: あの終戦記念日は赤い
$facts$ = fact1: もしもあの終戦記念日が赤いならそれは情報部門だ fact2: あの終戦記念日は赤い ; $hypothesis$ = あの終戦記念日は情報部門でない ; $proof$ = 
事実1: もしもあの終戦記念日が赤いならそれは情報部門だ
事実2: あの終戦記念日は赤い

仮説: あの終戦記念日は情報部門でない