「このこくは可決成立しない」ということは成り立つ
fact1: もしも「「セットフォントでない」ということは成り立つ」ものがあればこのこくは可決成立しない fact2: なにがしかの物はセットフォントでない
$facts$ = fact1: もしも「「セットフォントでない」ということは成り立つ」ものがあればこのこくは可決成立しない fact2: なにがしかの物はセットフォントでない ; $hypothesis$ = 「このこくは可決成立しない」ということは成り立つ ; $proof$ = 
事実1: もしも「「セットフォントでない」ということは成り立つ」ものがあればこのこくは可決成立しない
事実2: なにがしかの物はセットフォントでない

仮説: 「このこくは可決成立しない」ということは成り立つ