「このＥＳＣキーは提案権でないし更に列王記上でない」ということは間違いだ
fact1: もしもあの給仕長は利かないとすれば「このＥＳＣキーは提案権でないしさらにそれは列王記上でない」ということは成り立たない fact2: その忍之別王子は挟まらない fact3: もし「その忍之別王子は側鎖であるかもしくはそれは配偶者等だ」ということは事実と異なれば「この関連分野は観光しない」ということは事実だ fact4: もしこの関連分野は観光しないなら「あの給仕長は落葉広葉樹林であるかあるいはそれは過誤率でない」ということは誤りである fact5: その追唱スピードは挟まらない fact6: もし仮に何らかの物が挟まらないとするとそれは提案権でないし列王記上でない fact7: もし仮に「とあるものは落葉広葉樹林であるかあるいは過誤率でない」ということは嘘であるならば利かない fact8: もし仮に「とある物が過誤率だし更に観光する」ということは間違いならば挟まらない fact9: もしもその忍之別王子は挟まらないとしたら「「側鎖であるかまたはそれは配偶者等であるかまたは両方ともだ」ということは本当である」ということは事実と異なる
fact9 & fact2 -> int1: 「その忍之別王子は側鎖であるかまたはそれは配偶者等である」ということは成り立たない; int1 & fact3 -> int2: この関連分野は観光するということはない; int2 & fact4 -> int3: 「あの給仕長は落葉広葉樹林であるか過誤率でないかあるいは両方だ」ということは成り立たない; fact7 -> int4: もし「あの給仕長は落葉広葉樹林であるかまたは過誤率でないかまたは両方ともだ」ということは事実と異なるとしたらそれは利かない; int3 & int4 -> int5: あの給仕長は利くということはない; int5 & fact1 -> hypothesis;
このＥＳＣキーは提案権であるということはなくてまた列王記上でない
fact11 -> int6: 仮にこのＥＳＣキーが挟まるということはないならばそれは提案権でなくてかつそれは列王記上でない; fact10 -> int7: 「このＥＳＣキーは過誤率であるし更にそれは観光する」ということは間違っていれば「挟まるということはない」ということは事実である;
$facts$ = fact1: もしもあの給仕長は利かないとすれば「このＥＳＣキーは提案権でないしさらにそれは列王記上でない」ということは成り立たない fact2: その忍之別王子は挟まらない fact3: もし「その忍之別王子は側鎖であるかもしくはそれは配偶者等だ」ということは事実と異なれば「この関連分野は観光しない」ということは事実だ fact4: もしこの関連分野は観光しないなら「あの給仕長は落葉広葉樹林であるかあるいはそれは過誤率でない」ということは誤りである fact5: その追唱スピードは挟まらない fact6: もし仮に何らかの物が挟まらないとするとそれは提案権でないし列王記上でない fact7: もし仮に「とあるものは落葉広葉樹林であるかあるいは過誤率でない」ということは嘘であるならば利かない fact8: もし仮に「とある物が過誤率だし更に観光する」ということは間違いならば挟まらない fact9: もしもその忍之別王子は挟まらないとしたら「「側鎖であるかまたはそれは配偶者等であるかまたは両方ともだ」ということは本当である」ということは事実と異なる ; $hypothesis$ = 「このＥＳＣキーは提案権でないし更に列王記上でない」ということは間違いだ ; $proof$ = 
fact9 & fact2 -> int1: 「その忍之別王子は側鎖であるかまたはそれは配偶者等である」ということは成り立たない; int1 & fact3 -> int2: この関連分野は観光するということはない; int2 & fact4 -> int3: 「あの給仕長は落葉広葉樹林であるか過誤率でないかあるいは両方だ」ということは成り立たない; fact7 -> int4: もし「あの給仕長は落葉広葉樹林であるかまたは過誤率でないかまたは両方ともだ」ということは事実と異なるとしたらそれは利かない; int3 & int4 -> int5: あの給仕長は利くということはない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしもあの給仕長は利かないとすれば「このＥＳＣキーは提案権でないしさらにそれは列王記上でない」ということは成り立たない
事実2: その忍之別王子は挟まらない
事実3: もし「その忍之別王子は側鎖であるかもしくはそれは配偶者等だ」ということは事実と異なれば「この関連分野は観光しない」ということは事実だ
事実4: もしこの関連分野は観光しないなら「あの給仕長は落葉広葉樹林であるかあるいはそれは過誤率でない」ということは誤りである
事実5: その追唱スピードは挟まらない
事実6: もし仮に何らかの物が挟まらないとするとそれは提案権でないし列王記上でない
事実7: もし仮に「とあるものは落葉広葉樹林であるかあるいは過誤率でない」ということは嘘であるならば利かない
事実8: もし仮に「とある物が過誤率だし更に観光する」ということは間違いならば挟まらない
事実9: もしもその忍之別王子は挟まらないとしたら「「側鎖であるかまたはそれは配偶者等であるかまたは両方ともだ」ということは本当である」ということは事実と異なる

仮説: 「このＥＳＣキーは提案権でないし更に列王記上でない」ということは間違いだ
1. 事実9と事実2から、推論1: "「その忍之別王子は側鎖であるかまたはそれは配偶者等である」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "この関連分野は観光するということはない"が導かれる
3. 推論2と事実4から、推論3: "「あの給仕長は落葉広葉樹林であるか過誤率でないかあるいは両方だ」ということは成り立たない"が導かれる
4. 事実7から、推論4: "もし「あの給仕長は落葉広葉樹林であるかまたは過誤率でないかまたは両方ともだ」ということは事実と異なるとしたらそれは利かない"が導かれる
5. 推論3と推論4から、推論5: "あの給仕長は利くということはない"が導かれる
6. 推論5と事実1から、仮説が導かれる

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