「「仮に「「空々しかなくてそれにいじらしい」ということは確かだ」ということは誤りだとすると異常部でない」ものはある」ということは成り立たない
fact1: もしも「この代執行は空々しかないがそれはいじらしい」ということは事実でないとするとそれは異常部でない
$facts$ = fact1: もしも「この代執行は空々しかないがそれはいじらしい」ということは事実でないとするとそれは異常部でない ; $hypothesis$ = 「「仮に「「空々しかなくてそれにいじらしい」ということは確かだ」ということは誤りだとすると異常部でない」ものはある」ということは成り立たない ; $proof$ = 
事実1: もしも「この代執行は空々しかないがそれはいじらしい」ということは事実でないとするとそれは異常部でない

仮説: 「「仮に「「空々しかなくてそれにいじらしい」ということは確かだ」ということは誤りだとすると異常部でない」ものはある」ということは成り立たない