その終了処理は統治する
fact1: もし「「ふざけるしかつ公費負担しない」ということは成り立つということはない」物があればその終了処理は統治する fact2: 「「「ふざけるし公費負担しない」ということは確かである」ということは事実と異なる」ものはある
$facts$ = fact1: もし「「ふざけるしかつ公費負担しない」ということは成り立つということはない」物があればその終了処理は統治する fact2: 「「「ふざけるし公費負担しない」ということは確かである」ということは事実と異なる」ものはある ; $hypothesis$ = その終了処理は統治する ; $proof$ = 
事実1: もし「「ふざけるしかつ公費負担しない」ということは成り立つということはない」物があればその終了処理は統治する
事実2: 「「「ふざけるし公費負担しない」ということは確かである」ということは事実と異なる」ものはある

仮説: その終了処理は統治する