「「「もしも真っ暗いとしたら「付着し易くないしそれに剥がれ易くない」ということは間違いな」物はある」ということは成り立つ」ということは誤りだ
fact1: もし「あの千九百四十五年以降は真っ暗い」ということは成り立つとしたら「それは付着し易くないしまた剥がれ易くない」ということは間違っている
$facts$ = fact1: もし「あの千九百四十五年以降は真っ暗い」ということは成り立つとしたら「それは付着し易くないしまた剥がれ易くない」ということは間違っている ; $hypothesis$ = 「「「もしも真っ暗いとしたら「付着し易くないしそれに剥がれ易くない」ということは間違いな」物はある」ということは成り立つ」ということは誤りだ ; $proof$ = 
事実1: もし「あの千九百四十五年以降は真っ暗い」ということは成り立つとしたら「それは付着し易くないしまた剥がれ易くない」ということは間違っている

仮説: 「「「もしも真っ暗いとしたら「付着し易くないしそれに剥がれ易くない」ということは間違いな」物はある」ということは成り立つ」ということは誤りだ