「もし「韓国消費者連盟であるがしかし水銀灯であるということはない」ということは成り立たないとすれば産児調節でない」物はある
fact1: 「その舎監は韓国消費者連盟であるがしかしそれは水銀灯でない」ということは成り立たないならば産児調節でない
$facts$ = fact1: 「その舎監は韓国消費者連盟であるがしかしそれは水銀灯でない」ということは成り立たないならば産児調節でない ; $hypothesis$ = 「もし「韓国消費者連盟であるがしかし水銀灯であるということはない」ということは成り立たないとすれば産児調節でない」物はある ; $proof$ = 
事実1: 「その舎監は韓国消費者連盟であるがしかしそれは水銀灯でない」ということは成り立たないならば産児調節でない

仮説: 「もし「韓国消費者連盟であるがしかし水銀灯であるということはない」ということは成り立たないとすれば産児調節でない」物はある