この法律名はＶＩＥでないならば「締めっぽいしそれは野太い」ということは誤っている
fact1: 「仮に「なにがしかの物はＶＩＥでない」ということは確かであるとしたら「締めっぽくて加えて野太い」ということは正しくない」ということは成り立つ
$facts$ = fact1: 「仮に「なにがしかの物はＶＩＥでない」ということは確かであるとしたら「締めっぽくて加えて野太い」ということは正しくない」ということは成り立つ ; $hypothesis$ = この法律名はＶＩＥでないならば「締めっぽいしそれは野太い」ということは誤っている ; $proof$ = 
事実1: 「仮に「なにがしかの物はＶＩＥでない」ということは確かであるとしたら「締めっぽくて加えて野太い」ということは正しくない」ということは成り立つ

仮説: この法律名はＶＩＥでないならば「締めっぽいしそれは野太い」ということは誤っている