「もしも「婚約中であるということはないかもしくは入滅しないかまたは両方である」ということは誤りであるとすれば青色でない」物はある
fact1: 仮にこの懐疑主義が婚約中だということはないか入滅しないかあるいは両方ともだとしたらそれは青色でない fact2: 「「もし仮に「婚約中であるかあるいは入滅しないかどちらもである」ということは誤りだとしたら青色でない」物はある」ということは事実である fact3: もし「この懐疑主義は婚約中でないかあるいは入滅しないか両方ともだ」ということは成り立たないとすると青色でない fact4: 「もしも「婚約中でないかまたは入滅しないかもしくは両方ともだ」ということは間違いだとしたら青色である」物はある
fact3 -> hypothesis;
$facts$ = fact1: 仮にこの懐疑主義が婚約中だということはないか入滅しないかあるいは両方ともだとしたらそれは青色でない fact2: 「「もし仮に「婚約中であるかあるいは入滅しないかどちらもである」ということは誤りだとしたら青色でない」物はある」ということは事実である fact3: もし「この懐疑主義は婚約中でないかあるいは入滅しないか両方ともだ」ということは成り立たないとすると青色でない fact4: 「もしも「婚約中でないかまたは入滅しないかもしくは両方ともだ」ということは間違いだとしたら青色である」物はある ; $hypothesis$ = 「もしも「婚約中であるということはないかもしくは入滅しないかまたは両方である」ということは誤りであるとすれば青色でない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にこの懐疑主義が婚約中だということはないか入滅しないかあるいは両方ともだとしたらそれは青色でない
事実2: 「「もし仮に「婚約中であるかあるいは入滅しないかどちらもである」ということは誤りだとしたら青色でない」物はある」ということは事実である
事実3: もし「この懐疑主義は婚約中でないかあるいは入滅しないか両方ともだ」ということは成り立たないとすると青色でない
事実4: 「もしも「婚約中でないかまたは入滅しないかもしくは両方ともだ」ということは間違いだとしたら青色である」物はある

仮説: 「もしも「婚約中であるということはないかもしくは入滅しないかまたは両方である」ということは誤りであるとすれば青色でない」物はある
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。