あの事務局員は侵略しない
fact1: もしもあの月齢が営むならあの事務局員は侵略しない fact2: もしあの月齢が街らしくないし更に営まないとするとあの事務局員は侵略する fact3: あの処分等は営む fact4: もしこの幹部会議は浸らないならば「あの月齢は癒し難くてさらにそれは日章旗だ」ということは真実だ fact5: もし「とあるものは街らしくない一方で営む」ということは誤っていれば侵略するということはない fact6: あの月齢は営む fact7: 日章旗は街らしくないしかつ営むということはない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
あの事務局員は侵略する
fact9 -> int1: あの月齢が日章旗ならそれが街らしくないしさらに営まない;
$facts$ = fact1: もしもあの月齢が営むならあの事務局員は侵略しない fact2: もしあの月齢が街らしくないし更に営まないとするとあの事務局員は侵略する fact3: あの処分等は営む fact4: もしこの幹部会議は浸らないならば「あの月齢は癒し難くてさらにそれは日章旗だ」ということは真実だ fact5: もし「とあるものは街らしくない一方で営む」ということは誤っていれば侵略するということはない fact6: あの月齢は営む fact7: 日章旗は街らしくないしかつ営むということはない ; $hypothesis$ = あの事務局員は侵略しない ; $proof$ = 
fact1 & fact6 -> hypothesis; __PROVED__
事実1: もしもあの月齢が営むならあの事務局員は侵略しない
事実2: もしあの月齢が街らしくないし更に営まないとするとあの事務局員は侵略する
事実3: あの処分等は営む
事実4: もしこの幹部会議は浸らないならば「あの月齢は癒し難くてさらにそれは日章旗だ」ということは真実だ
事実5: もし「とあるものは街らしくない一方で営む」ということは誤っていれば侵略するということはない
事実6: あの月齢は営む
事実7: 日章旗は街らしくないしかつ営むということはない

仮説: あの事務局員は侵略しない
1. 事実1と事実6から、仮説が導かれる

よって、仮説が証明されました。