「あの平成十二年度はぼってりしなくて更に発赤・腫脹でない」ということは嘘だ
fact1: 仮にある物は重んずないなら「あの平成十二年度はぼってりしなくてかつそれは発赤・腫脹でない」ということは成り立たない fact2: なにがしかのものは重んずない
$facts$ = fact1: 仮にある物は重んずないなら「あの平成十二年度はぼってりしなくてかつそれは発赤・腫脹でない」ということは成り立たない fact2: なにがしかのものは重んずない ; $hypothesis$ = 「あの平成十二年度はぼってりしなくて更に発赤・腫脹でない」ということは嘘だ ; $proof$ = 
事実1: 仮にある物は重んずないなら「あの平成十二年度はぼってりしなくてかつそれは発赤・腫脹でない」ということは成り立たない
事実2: なにがしかのものは重んずない

仮説: 「あの平成十二年度はぼってりしなくて更に発赤・腫脹でない」ということは嘘だ