「その都市政府はサディストでない」ということは真実である
fact1: 「その都市政府は十七年度だし更にサディストである」ということは本当だ
$facts$ = fact1: 「その都市政府は十七年度だし更にサディストである」ということは本当だ ; $hypothesis$ = 「その都市政府はサディストでない」ということは真実である ; $proof$ = 
事実1: 「その都市政府は十七年度だし更にサディストである」ということは本当だ

仮説: 「その都市政府はサディストでない」ということは真実である