「「もし角張るなら分厚くない」ものはある」ということは偽だ
fact1: 仮にあの三市が角張るなら分厚くない
$facts$ = fact1: 仮にあの三市が角張るなら分厚くない ; $hypothesis$ = 「「もし角張るなら分厚くない」ものはある」ということは偽だ ; $proof$ = 
事実1: 仮にあの三市が角張るなら分厚くない

仮説: 「「もし角張るなら分厚くない」ものはある」ということは偽だ