「あの千九百九十年代初頭は始末出来ないけれど比す」ということは正しくない
fact1: その筋原繊維は比さない fact2: 「あの千九百九十年代初頭は始末出来るしかつ比す」ということは真実でない fact3: 「その特殊学校は赴任するということはないけどそれは著しい」ということは成り立たない fact4: もし仮になにがしかのものが始末出来れば比す fact5: あの千九百九十年代初頭は御成るとすると「それは心服しなくて更にそれは敬遠する」ということは間違っている fact6: もし「その特殊学校は赴任しないけれど著しい」ということは成り立つということはないとしたらそれは始末出来ない fact7: 仮にその特殊学校は比すとすると「この自然林は著しいということはないけど千島弧だ」ということは間違いだ fact8: その特殊学校は赴任しないならば「あの千九百九十年代初頭は赴任しないがしかし比す」ということは成り立たない fact9: もし仮に「そのウエストコートは集め始める」ということは成り立つとするとその特殊学校は集め始める fact10: 「その特殊学校は赴任するし加えてそれは著しい」ということは間違いである fact11: もし仮にあの千九百九十年代初頭が始末出来るとしたらその特殊学校は始末出来る fact12: 仮にその特殊学校は始末出来ないなら「あの千九百九十年代初頭は始末出来るし比す」ということは間違いである fact13: その特殊学校は始末出来ないとしたら「あの千九百九十年代初頭は始末出来ないけど比す」ということは事実と異なる fact14: もしその特殊学校は比さないとしたら「あの千九百九十年代初頭は比さないが著しい」ということは誤りだ fact15: その特殊学校が集め始めるならあの千九百九十年代初頭は御成る fact16: もしその特殊学校が始末出来るとすればそれは生かし切らない fact17: 「この脳転移は比さないけどそれは嫌らしい」ということは事実でない fact18: もしなにがしかの物は遷移先状態であるということはないならば始末出来ない一方で比す fact19: もし仮に「なにがしかのものは心服しない」ということは真実だとしたら始末出来るし遷移先状態だ fact20: もし仮にその特殊学校が赴任するならそれは始末出来ない fact21: 「「そのウエストコートは心服するということはないがしかし敬遠する」ということは成り立たないとしたらあの千九百九十年代初頭は心服しない」ということは成り立つ
fact6 & fact3 -> int1: 「その特殊学校は始末出来ない」ということは成り立つ; int1 & fact13 -> hypothesis;
あの千九百九十年代初頭は始末出来ない一方で比す
fact24 -> int2: あの千九百九十年代初頭が遷移先状態でないとすれば始末出来ない一方で比す;
$facts$ = fact1: その筋原繊維は比さない fact2: 「あの千九百九十年代初頭は始末出来るしかつ比す」ということは真実でない fact3: 「その特殊学校は赴任するということはないけどそれは著しい」ということは成り立たない fact4: もし仮になにがしかのものが始末出来れば比す fact5: あの千九百九十年代初頭は御成るとすると「それは心服しなくて更にそれは敬遠する」ということは間違っている fact6: もし「その特殊学校は赴任しないけれど著しい」ということは成り立つということはないとしたらそれは始末出来ない fact7: 仮にその特殊学校は比すとすると「この自然林は著しいということはないけど千島弧だ」ということは間違いだ fact8: その特殊学校は赴任しないならば「あの千九百九十年代初頭は赴任しないがしかし比す」ということは成り立たない fact9: もし仮に「そのウエストコートは集め始める」ということは成り立つとするとその特殊学校は集め始める fact10: 「その特殊学校は赴任するし加えてそれは著しい」ということは間違いである fact11: もし仮にあの千九百九十年代初頭が始末出来るとしたらその特殊学校は始末出来る fact12: 仮にその特殊学校は始末出来ないなら「あの千九百九十年代初頭は始末出来るし比す」ということは間違いである fact13: その特殊学校は始末出来ないとしたら「あの千九百九十年代初頭は始末出来ないけど比す」ということは事実と異なる fact14: もしその特殊学校は比さないとしたら「あの千九百九十年代初頭は比さないが著しい」ということは誤りだ fact15: その特殊学校が集め始めるならあの千九百九十年代初頭は御成る fact16: もしその特殊学校が始末出来るとすればそれは生かし切らない fact17: 「この脳転移は比さないけどそれは嫌らしい」ということは事実でない fact18: もしなにがしかの物は遷移先状態であるということはないならば始末出来ない一方で比す fact19: もし仮に「なにがしかのものは心服しない」ということは真実だとしたら始末出来るし遷移先状態だ fact20: もし仮にその特殊学校が赴任するならそれは始末出来ない fact21: 「「そのウエストコートは心服するということはないがしかし敬遠する」ということは成り立たないとしたらあの千九百九十年代初頭は心服しない」ということは成り立つ ; $hypothesis$ = 「あの千九百九十年代初頭は始末出来ないけれど比す」ということは正しくない ; $proof$ = 
fact6 & fact3 -> int1: 「その特殊学校は始末出来ない」ということは成り立つ; int1 & fact13 -> hypothesis; __PROVED__
事実1: その筋原繊維は比さない
事実2: 「あの千九百九十年代初頭は始末出来るしかつ比す」ということは真実でない
事実3: 「その特殊学校は赴任するということはないけどそれは著しい」ということは成り立たない
事実4: もし仮になにがしかのものが始末出来れば比す
事実5: あの千九百九十年代初頭は御成るとすると「それは心服しなくて更にそれは敬遠する」ということは間違っている
事実6: もし「その特殊学校は赴任しないけれど著しい」ということは成り立つということはないとしたらそれは始末出来ない
事実7: 仮にその特殊学校は比すとすると「この自然林は著しいということはないけど千島弧だ」ということは間違いだ
事実8: その特殊学校は赴任しないならば「あの千九百九十年代初頭は赴任しないがしかし比す」ということは成り立たない
事実9: もし仮に「そのウエストコートは集め始める」ということは成り立つとするとその特殊学校は集め始める
事実10: 「その特殊学校は赴任するし加えてそれは著しい」ということは間違いである
事実11: もし仮にあの千九百九十年代初頭が始末出来るとしたらその特殊学校は始末出来る
事実12: 仮にその特殊学校は始末出来ないなら「あの千九百九十年代初頭は始末出来るし比す」ということは間違いである
事実13: その特殊学校は始末出来ないとしたら「あの千九百九十年代初頭は始末出来ないけど比す」ということは事実と異なる
事実14: もしその特殊学校は比さないとしたら「あの千九百九十年代初頭は比さないが著しい」ということは誤りだ
事実15: その特殊学校が集め始めるならあの千九百九十年代初頭は御成る
事実16: もしその特殊学校が始末出来るとすればそれは生かし切らない
事実17: 「この脳転移は比さないけどそれは嫌らしい」ということは事実でない
事実18: もしなにがしかの物は遷移先状態であるということはないならば始末出来ない一方で比す
事実19: もし仮に「なにがしかのものは心服しない」ということは真実だとしたら始末出来るし遷移先状態だ
事実20: もし仮にその特殊学校が赴任するならそれは始末出来ない
事実21: 「「そのウエストコートは心服するということはないがしかし敬遠する」ということは成り立たないとしたらあの千九百九十年代初頭は心服しない」ということは成り立つ

仮説: 「あの千九百九十年代初頭は始末出来ないけれど比す」ということは正しくない
1. 事実6と事実3から、推論1: "「その特殊学校は始末出来ない」ということは成り立つ"が導かれる
2. 推論1と事実13から、仮説が導かれる

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