「もし読み飛ばすなら「当て付けがましくらないけど雪庇である」ということは偽な」ものはある
fact1: もし仮になんらかの物が読み飛ばすとするとそれが当て付けはましくらない一方で雪庇である fact2: 「もしも読み飛ばすとすると当て付けがましくらないがしかし雪庇である」ものはある fact3: 「そのイギリス本国は新古典派だ」ということは成り立つなら「それは読み飛ばさないしそれにそれは何気無い」ということは成り立たない fact4: 仮にとあるものはなぞれば「それは天窓でないけれど書き易い」ということは偽である fact5: 仮になにかは読み飛ばすとすると「当て付けがましいしその上雪庇である」ということは誤りである fact6: もしもそのイギリス本国は読み飛ばすとしたら「腐り易いということはないがしかし冗談っぽい」ということは事実と異なる fact7: 「もしも読み飛ばせば「「当て付けがましい雪庇である」ということは本当だ」ということは真実でない」ものはある fact8: 「もし仮に用い易いとしたら「解脱しないしまた重々しい」ということは成り立たない」物はある fact9: 仮に「この第四条は動き難い」ということは事実だとすると「それは引き立てないしかつそれはせこい」ということは本当でない fact10: 「もしも標準化であるとすると「吠え立てるということはない一方で転任する」ということは成り立たない」ものはある fact11: とあるものは読み飛ばせば「当て付けはましくらなくてそれは雪庇だ」ということは成り立たない fact12: 「寄る辺無いとしたら「校正しない一方で用い易い」ということは成り立たない」物はある fact13: もしそのイギリス本国は玉葉だとすれば「それは喚き立てないしその上読み飛ばす」ということは事実であるということはない fact14: 仮にそのイギリス本国は読み飛ばすなら「それは当て付けがましいし更に雪庇である」ということは真実でない fact15: そのイギリス本国が読み飛ばすならそれが当て付けはましくらないしかつ雪庇だ
fact11 -> int1: もしもそのイギリス本国は読み飛ばすとすれば「それが当て付けはましくらないがしかし雪庇である」ということは確かでない; int1 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物が読み飛ばすとするとそれが当て付けはましくらない一方で雪庇である fact2: 「もしも読み飛ばすとすると当て付けがましくらないがしかし雪庇である」ものはある fact3: 「そのイギリス本国は新古典派だ」ということは成り立つなら「それは読み飛ばさないしそれにそれは何気無い」ということは成り立たない fact4: 仮にとあるものはなぞれば「それは天窓でないけれど書き易い」ということは偽である fact5: 仮になにかは読み飛ばすとすると「当て付けがましいしその上雪庇である」ということは誤りである fact6: もしもそのイギリス本国は読み飛ばすとしたら「腐り易いということはないがしかし冗談っぽい」ということは事実と異なる fact7: 「もしも読み飛ばせば「「当て付けがましい雪庇である」ということは本当だ」ということは真実でない」ものはある fact8: 「もし仮に用い易いとしたら「解脱しないしまた重々しい」ということは成り立たない」物はある fact9: 仮に「この第四条は動き難い」ということは事実だとすると「それは引き立てないしかつそれはせこい」ということは本当でない fact10: 「もしも標準化であるとすると「吠え立てるということはない一方で転任する」ということは成り立たない」ものはある fact11: とあるものは読み飛ばせば「当て付けはましくらなくてそれは雪庇だ」ということは成り立たない fact12: 「寄る辺無いとしたら「校正しない一方で用い易い」ということは成り立たない」物はある fact13: もしそのイギリス本国は玉葉だとすれば「それは喚き立てないしその上読み飛ばす」ということは事実であるということはない fact14: 仮にそのイギリス本国は読み飛ばすなら「それは当て付けがましいし更に雪庇である」ということは真実でない fact15: そのイギリス本国が読み飛ばすならそれが当て付けはましくらないしかつ雪庇だ ; $hypothesis$ = 「もし読み飛ばすなら「当て付けがましくらないけど雪庇である」ということは偽な」ものはある ; $proof$ = 
fact11 -> int1: もしもそのイギリス本国は読み飛ばすとすれば「それが当て付けはましくらないがしかし雪庇である」ということは確かでない; int1 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が読み飛ばすとするとそれが当て付けはましくらない一方で雪庇である
事実2: 「もしも読み飛ばすとすると当て付けがましくらないがしかし雪庇である」ものはある
事実3: 「そのイギリス本国は新古典派だ」ということは成り立つなら「それは読み飛ばさないしそれにそれは何気無い」ということは成り立たない
事実4: 仮にとあるものはなぞれば「それは天窓でないけれど書き易い」ということは偽である
事実5: 仮になにかは読み飛ばすとすると「当て付けがましいしその上雪庇である」ということは誤りである
事実6: もしもそのイギリス本国は読み飛ばすとしたら「腐り易いということはないがしかし冗談っぽい」ということは事実と異なる
事実7: 「もしも読み飛ばせば「「当て付けがましい雪庇である」ということは本当だ」ということは真実でない」ものはある
事実8: 「もし仮に用い易いとしたら「解脱しないしまた重々しい」ということは成り立たない」物はある
事実9: 仮に「この第四条は動き難い」ということは事実だとすると「それは引き立てないしかつそれはせこい」ということは本当でない
事実10: 「もしも標準化であるとすると「吠え立てるということはない一方で転任する」ということは成り立たない」ものはある
事実11: とあるものは読み飛ばせば「当て付けはましくらなくてそれは雪庇だ」ということは成り立たない
事実12: 「寄る辺無いとしたら「校正しない一方で用い易い」ということは成り立たない」物はある
事実13: もしそのイギリス本国は玉葉だとすれば「それは喚き立てないしその上読み飛ばす」ということは事実であるということはない
事実14: 仮にそのイギリス本国は読み飛ばすなら「それは当て付けがましいし更に雪庇である」ということは真実でない
事実15: そのイギリス本国が読み飛ばすならそれが当て付けはましくらないしかつ雪庇だ

仮説: 「もし読み飛ばすなら「当て付けがましくらないけど雪庇である」ということは偽な」ものはある
1. 事実11から、推論1: "もしもそのイギリス本国は読み飛ばすとすれば「それが当て付けはましくらないがしかし雪庇である」ということは確かでない"が導かれる
2. 推論1から、仮説が導かれる

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