あの女子高は婦人問題である
fact1: あの文全体が論ずしおまけに確認すればこの五・一五事件は論ずということはない fact2: もしも何らかの物が論ずないなら婦人問題であるかもしくはそれは言い得るかあるいは両方ともだ fact3: もし仮に「その美的機能はミクロでない」ということは本当であるとすればそれは立項しない fact4: 「あの都市型は性転換しなくてそれは交わない」ということは事実と異なる fact5: もしあの都市型は婦人問題でないとすると「失墜するし更にそれは新し」ということは成り立たない fact6: もし仮に何かは立項するということはないとしたら論ずしさらに確認する fact7: 仮にその美的機能が自己決定するがしかしそれは立項するということはないとすると「あの文全体は立項するということはない」ということは本当だ fact8: もし仮に「あの都市型は性転換しないしそれは交わない」ということは誤りならば「この五・一五事件は新し」ということは事実だ fact9: 「あの都市型は性転換しないがしかし交う」ということは事実と異なる fact10: 仮にあのＰＳＡがミクロでＩＭであるとしたらその美的機能はミクロでない fact11: その美的機能は自己決定する fact12: もし「この五・一五事件は新し」ということは確かであるとするとあの文全体は失墜するということはない fact13: あの文全体は失墜しないならば「あの女子高は婦人問題である」ということは真実である
fact8 & fact4 -> int1: 「この五・一五事件は新し」ということは成り立つ; int1 & fact12 -> int2: あの文全体は失墜しない; int2 & fact13 -> hypothesis;
あの女子高は失墜しない
fact19 -> int3: もしもこの五・一五事件が論ずないならそれは婦人問題であるかあるいは言い得るかまたは両方だ; fact16 -> int4: もし仮にあの文全体が立項しないとすればそれは論ずしまた確認する;
$facts$ = fact1: あの文全体が論ずしおまけに確認すればこの五・一五事件は論ずということはない fact2: もしも何らかの物が論ずないなら婦人問題であるかもしくはそれは言い得るかあるいは両方ともだ fact3: もし仮に「その美的機能はミクロでない」ということは本当であるとすればそれは立項しない fact4: 「あの都市型は性転換しなくてそれは交わない」ということは事実と異なる fact5: もしあの都市型は婦人問題でないとすると「失墜するし更にそれは新し」ということは成り立たない fact6: もし仮に何かは立項するということはないとしたら論ずしさらに確認する fact7: 仮にその美的機能が自己決定するがしかしそれは立項するということはないとすると「あの文全体は立項するということはない」ということは本当だ fact8: もし仮に「あの都市型は性転換しないしそれは交わない」ということは誤りならば「この五・一五事件は新し」ということは事実だ fact9: 「あの都市型は性転換しないがしかし交う」ということは事実と異なる fact10: 仮にあのＰＳＡがミクロでＩＭであるとしたらその美的機能はミクロでない fact11: その美的機能は自己決定する fact12: もし「この五・一五事件は新し」ということは確かであるとするとあの文全体は失墜するということはない fact13: あの文全体は失墜しないならば「あの女子高は婦人問題である」ということは真実である ; $hypothesis$ = あの女子高は婦人問題である ; $proof$ = 
fact8 & fact4 -> int1: 「この五・一五事件は新し」ということは成り立つ; int1 & fact12 -> int2: あの文全体は失墜しない; int2 & fact13 -> hypothesis; __PROVED__
事実1: あの文全体が論ずしおまけに確認すればこの五・一五事件は論ずということはない
事実2: もしも何らかの物が論ずないなら婦人問題であるかもしくはそれは言い得るかあるいは両方ともだ
事実3: もし仮に「その美的機能はミクロでない」ということは本当であるとすればそれは立項しない
事実4: 「あの都市型は性転換しなくてそれは交わない」ということは事実と異なる
事実5: もしあの都市型は婦人問題でないとすると「失墜するし更にそれは新し」ということは成り立たない
事実6: もし仮に何かは立項するということはないとしたら論ずしさらに確認する
事実7: 仮にその美的機能が自己決定するがしかしそれは立項するということはないとすると「あの文全体は立項するということはない」ということは本当だ
事実8: もし仮に「あの都市型は性転換しないしそれは交わない」ということは誤りならば「この五・一五事件は新し」ということは事実だ
事実9: 「あの都市型は性転換しないがしかし交う」ということは事実と異なる
事実10: 仮にあのＰＳＡがミクロでＩＭであるとしたらその美的機能はミクロでない
事実11: その美的機能は自己決定する
事実12: もし「この五・一五事件は新し」ということは確かであるとするとあの文全体は失墜するということはない
事実13: あの文全体は失墜しないならば「あの女子高は婦人問題である」ということは真実である

仮説: あの女子高は婦人問題である
1. 事実8と事実4から、推論1: "「この五・一五事件は新し」ということは成り立つ"が導かれる
2. 推論1と事実12から、推論2: "あの文全体は失墜しない"が導かれる
3. 推論2と事実13から、仮説が導かれる

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