その具象は峙つ
fact1: その具象は政治部だ fact2: そのＮＣＳは顔する fact3: もしも「そのＮＣＳは顔する」ということは成り立てばその具象は峙つ fact4: もし仮にそのＮＣＳが峙つとしたらその具象は顔する fact5: もし政治部が静けさだとすると御安くない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あのノルマ数は峙つ
fact6 -> int1: もしその具象が政治部でその上静けさだとすればそれは御安くない;
$facts$ = fact1: その具象は政治部だ fact2: そのＮＣＳは顔する fact3: もしも「そのＮＣＳは顔する」ということは成り立てばその具象は峙つ fact4: もし仮にそのＮＣＳが峙つとしたらその具象は顔する fact5: もし政治部が静けさだとすると御安くない ; $hypothesis$ = その具象は峙つ ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: その具象は政治部だ
事実2: そのＮＣＳは顔する
事実3: もしも「そのＮＣＳは顔する」ということは成り立てばその具象は峙つ
事実4: もし仮にそのＮＣＳが峙つとしたらその具象は顔する
事実5: もし政治部が静けさだとすると御安くない

仮説: その具象は峙つ
1. 事実3と事実2から、仮説が導かれる

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