「もし「「金串でないが囲口膜だ」ということは正しい」ということは成り立たないとしたら「みっともないということはない」ということは真実である」ものはある
fact1: あの補助定理は金串であるならばみっともなくない fact2: 「「もし「金串であるししかも囲口膜である」ということは嘘だとすればみっともなくない」物はある」ということは本当だ fact3: もし仮に「あの補助定理は金串でないけど囲口膜だ」ということは成り立たないとすると「みっともない」ということは確かである fact4: もしも「なにがしかの物は振り動かさないけどみっともない」ということは成り立たないならば期間内であるということはない fact5: もし「あの補助定理は金串でない一方でそれは囲口膜である」ということは誤りだとしたら「みっともないということはない」ということは成り立つ fact6: もしあの補助定理が騎士だということはないけどそれが金串ならそれは疚しくない fact7: もし「あの補助定理は直り難いということはないけれど金串だ」ということは事実と異なるとするとそれはあやすということはない
fact5 -> hypothesis;
もしも「あの後退期は振り動かさないけれどみっともない」ということは嘘なら期間内でない
fact8 -> hypothesis;
$facts$ = fact1: あの補助定理は金串であるならばみっともなくない fact2: 「「もし「金串であるししかも囲口膜である」ということは嘘だとすればみっともなくない」物はある」ということは本当だ fact3: もし仮に「あの補助定理は金串でないけど囲口膜だ」ということは成り立たないとすると「みっともない」ということは確かである fact4: もしも「なにがしかの物は振り動かさないけどみっともない」ということは成り立たないならば期間内であるということはない fact5: もし「あの補助定理は金串でない一方でそれは囲口膜である」ということは誤りだとしたら「みっともないということはない」ということは成り立つ fact6: もしあの補助定理が騎士だということはないけどそれが金串ならそれは疚しくない fact7: もし「あの補助定理は直り難いということはないけれど金串だ」ということは事実と異なるとするとそれはあやすということはない ; $hypothesis$ = 「もし「「金串でないが囲口膜だ」ということは正しい」ということは成り立たないとしたら「みっともないということはない」ということは真実である」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの補助定理は金串であるならばみっともなくない
事実2: 「「もし「金串であるししかも囲口膜である」ということは嘘だとすればみっともなくない」物はある」ということは本当だ
事実3: もし仮に「あの補助定理は金串でないけど囲口膜だ」ということは成り立たないとすると「みっともない」ということは確かである
事実4: もしも「なにがしかの物は振り動かさないけどみっともない」ということは成り立たないならば期間内であるということはない
事実5: もし「あの補助定理は金串でない一方でそれは囲口膜である」ということは誤りだとしたら「みっともないということはない」ということは成り立つ
事実6: もしあの補助定理が騎士だということはないけどそれが金串ならそれは疚しくない
事実7: もし「あの補助定理は直り難いということはないけれど金串だ」ということは事実と異なるとするとそれはあやすということはない

仮説: 「もし「「金串でないが囲口膜だ」ということは正しい」ということは成り立たないとしたら「みっともないということはない」ということは真実である」ものはある
1. 事実5から、仮説が導かれる

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