「あの法的効果はレクチャーするか入賞しないか両方ともだ」ということは成り立たない
fact1: あの先取りは馴染み難い fact2: 仮にこの一般化固有値問題が馴染み難いということはないとしたらあの法的効果は入賞する fact3: あるものは増え方でない fact4: とある物は曲がらないけど増え方である fact5: 「馴染み難い」物はあるとすれば「あの法的効果は増え方であるしそれにそれは曲がる」ということは成り立つということはない fact6: あの法的効果は入賞する fact7: もしあの先取りが曲がらないが馴染み難いとするとこの一般化固有値問題は曲がらない fact8: 「曲がらない」物はある fact9: なにがしかの物は曲がるけどそれは増え方であるということはない fact10: 「曲がらないしさらに増え方でない」物はある fact11: もしも「曲がらないし増え方でない」ものがあるとすればこの一般化固有値問題は馴染み難くない fact12: もし仮にこの一般化固有値問題が曲がらないとすればあの法的効果はレクチャーするか入賞しないかまたは両方である fact13: あの法的効果は馴染み難くない fact14: もしもこの一般化固有値問題は馴染み難いということはないとすると「あの法的効果はレクチャーするか入賞しないかあるいは両方ともである」ということは誤っている fact15: 「あの法的効果は馴染み難いかあるいは入賞しないかどちらもだ」ということは成り立たない
fact10 & fact11 -> int1: この一般化固有値問題は馴染み難くない; int1 & fact14 -> hypothesis;
あの法的効果はレクチャーするか入賞しないかもしくは両方である
$facts$ = fact1: あの先取りは馴染み難い fact2: 仮にこの一般化固有値問題が馴染み難いということはないとしたらあの法的効果は入賞する fact3: あるものは増え方でない fact4: とある物は曲がらないけど増え方である fact5: 「馴染み難い」物はあるとすれば「あの法的効果は増え方であるしそれにそれは曲がる」ということは成り立つということはない fact6: あの法的効果は入賞する fact7: もしあの先取りが曲がらないが馴染み難いとするとこの一般化固有値問題は曲がらない fact8: 「曲がらない」物はある fact9: なにがしかの物は曲がるけどそれは増え方であるということはない fact10: 「曲がらないしさらに増え方でない」物はある fact11: もしも「曲がらないし増え方でない」ものがあるとすればこの一般化固有値問題は馴染み難くない fact12: もし仮にこの一般化固有値問題が曲がらないとすればあの法的効果はレクチャーするか入賞しないかまたは両方である fact13: あの法的効果は馴染み難くない fact14: もしもこの一般化固有値問題は馴染み難いということはないとすると「あの法的効果はレクチャーするか入賞しないかあるいは両方ともである」ということは誤っている fact15: 「あの法的効果は馴染み難いかあるいは入賞しないかどちらもだ」ということは成り立たない ; $hypothesis$ = 「あの法的効果はレクチャーするか入賞しないか両方ともだ」ということは成り立たない ; $proof$ = 
fact10 & fact11 -> int1: この一般化固有値問題は馴染み難くない; int1 & fact14 -> hypothesis; __PROVED__
事実1: あの先取りは馴染み難い
事実2: 仮にこの一般化固有値問題が馴染み難いということはないとしたらあの法的効果は入賞する
事実3: あるものは増え方でない
事実4: とある物は曲がらないけど増え方である
事実5: 「馴染み難い」物はあるとすれば「あの法的効果は増え方であるしそれにそれは曲がる」ということは成り立つということはない
事実6: あの法的効果は入賞する
事実7: もしあの先取りが曲がらないが馴染み難いとするとこの一般化固有値問題は曲がらない
事実8: 「曲がらない」物はある
事実9: なにがしかの物は曲がるけどそれは増え方であるということはない
事実10: 「曲がらないしさらに増え方でない」物はある
事実11: もしも「曲がらないし増え方でない」ものがあるとすればこの一般化固有値問題は馴染み難くない
事実12: もし仮にこの一般化固有値問題が曲がらないとすればあの法的効果はレクチャーするか入賞しないかまたは両方である
事実13: あの法的効果は馴染み難くない
事実14: もしもこの一般化固有値問題は馴染み難いということはないとすると「あの法的効果はレクチャーするか入賞しないかあるいは両方ともである」ということは誤っている
事実15: 「あの法的効果は馴染み難いかあるいは入賞しないかどちらもだ」ということは成り立たない

仮説: 「あの法的効果はレクチャーするか入賞しないか両方ともだ」ということは成り立たない
1. 事実10と事実11から、推論1: "この一般化固有値問題は馴染み難くない"が導かれる
2. 推論1と事実14から、仮説が導かれる

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