「もしそのＥｍａｃｓはかったるいとすると「そのＥｍａｃｓは保全命令であるがしかしそれは成立し難くない」ということは成り立たない」ということは確かだ
fact1: とある物はかったるいとすれば「保全命令でかつ成立し難くない」ということは成り立たない
$facts$ = fact1: とある物はかったるいとすれば「保全命令でかつ成立し難くない」ということは成り立たない ; $hypothesis$ = 「もしそのＥｍａｃｓはかったるいとすると「そのＥｍａｃｓは保全命令であるがしかしそれは成立し難くない」ということは成り立たない」ということは確かだ ; $proof$ = 
事実1: とある物はかったるいとすれば「保全命令でかつ成立し難くない」ということは成り立たない

仮説: 「もしそのＥｍａｃｓはかったるいとすると「そのＥｍａｃｓは保全命令であるがしかしそれは成立し難くない」ということは成り立たない」ということは確かだ