あのホワイル文は食後でないかもしくは退屈し切るかまたは両方だ
fact1: 仮になにがしかのものは食後でないなら「履修しないしさらに発生し続ける」ということは間違っている fact2: 「このモデル全体は履修する」ということは事実である fact3: もしもとあるものは育て易いとすれば「食後でないかまたは退屈し切るか両方である」ということは成り立たない fact4: 仮にあるものが入り始めなくて侵食し始めないとすればあの標準モードは学校図書館関係者でない fact5: そのレザーは心深くなくてかつそれは学校図書館関係者でない fact6: 何らかのものは入り始めなくておまけに侵食し始めない fact7: もしあの標準モードが心深しとしたらあのホワイル文は対面販売である fact8: あの標準モードは育て易くてかつ対面販売だ fact9: あのホワイル文は食後であるかもしくは退屈し切る fact10: 仮に「とある物は育て易くないけれど対面販売だ」ということは誤っているとすると展示品である fact11: あの標準モードは対面販売だ fact12: もし仮に何かは育て易いとしたら発生し続ける fact13: そのレザーが学校図書館関係者でないとすれば退屈し切るしかつ算する fact14: 「そのテレビキャプチャボードは履修する」ということは事実である fact15: もしも「あの標準モードは履修しないがそれは発生し続ける」ということは本当でないとすればそのレザーは履修する fact16: 「「「算するということはなくて加えて履修しない」ということは確かだ」ということは嘘な」物はある fact17: もしも「あの標準モードは発生し続けるし履修する」ということは嘘であるということはないとするとあのホワイル文は食後でない fact18: なにかは退屈し切るなら「育て易くないがしかし対面販売である」ということは事実と異なる fact19: もしこのモデル全体は履修するとしたら「あの標準モードは履修する」ということは真実である
fact8 -> int1: あの標準モードは育て易い; fact12 -> int2: もしも「あの標準モードは育て易い」ということは確かであるとしたら発生し続ける; int1 & int2 -> int3: あの標準モードは発生し続ける; fact19 & fact2 -> int4: あの標準モードは履修する; int3 & int4 -> int5: あの標準モードは発生し続けるし加えて履修する; int5 & fact17 -> int6: あのホワイル文は食後でない; int6 -> hypothesis;
そのレザーが展示品だしおまけにそれは履修する
fact20 -> int7: もしも「そのレザーは育て易いということはない一方でそれは対面販売である」ということは成り立つということはないとすると展示品である; fact24 -> int8: もしもそのレザーは退屈し切るとすれば「育て易くないけど対面販売である」ということは嘘だ; fact23 -> int9: そのレザーは学校図書館関係者でない; fact21 & int9 -> int10: そのレザーは退屈し切るし更にそれは算する; int10 -> int11: そのレザーは退屈し切る; int8 & int11 -> int12: 「そのレザーは育て易くないがしかし対面販売だ」ということは事実と異なる; int7 & int12 -> int13: そのレザーは展示品である; fact22 -> int14: もしあの標準モードは食後だということはないとすれば「履修するということはなくてそれは発生し続ける」ということは嘘だ;
$facts$ = fact1: 仮になにがしかのものは食後でないなら「履修しないしさらに発生し続ける」ということは間違っている fact2: 「このモデル全体は履修する」ということは事実である fact3: もしもとあるものは育て易いとすれば「食後でないかまたは退屈し切るか両方である」ということは成り立たない fact4: 仮にあるものが入り始めなくて侵食し始めないとすればあの標準モードは学校図書館関係者でない fact5: そのレザーは心深くなくてかつそれは学校図書館関係者でない fact6: 何らかのものは入り始めなくておまけに侵食し始めない fact7: もしあの標準モードが心深しとしたらあのホワイル文は対面販売である fact8: あの標準モードは育て易くてかつ対面販売だ fact9: あのホワイル文は食後であるかもしくは退屈し切る fact10: 仮に「とある物は育て易くないけれど対面販売だ」ということは誤っているとすると展示品である fact11: あの標準モードは対面販売だ fact12: もし仮に何かは育て易いとしたら発生し続ける fact13: そのレザーが学校図書館関係者でないとすれば退屈し切るしかつ算する fact14: 「そのテレビキャプチャボードは履修する」ということは事実である fact15: もしも「あの標準モードは履修しないがそれは発生し続ける」ということは本当でないとすればそのレザーは履修する fact16: 「「「算するということはなくて加えて履修しない」ということは確かだ」ということは嘘な」物はある fact17: もしも「あの標準モードは発生し続けるし履修する」ということは嘘であるということはないとするとあのホワイル文は食後でない fact18: なにかは退屈し切るなら「育て易くないがしかし対面販売である」ということは事実と異なる fact19: もしこのモデル全体は履修するとしたら「あの標準モードは履修する」ということは真実である ; $hypothesis$ = あのホワイル文は食後でないかもしくは退屈し切るかまたは両方だ ; $proof$ = 
fact8 -> int1: あの標準モードは育て易い; fact12 -> int2: もしも「あの標準モードは育て易い」ということは確かであるとしたら発生し続ける; int1 & int2 -> int3: あの標準モードは発生し続ける; fact19 & fact2 -> int4: あの標準モードは履修する; int3 & int4 -> int5: あの標準モードは発生し続けるし加えて履修する; int5 & fact17 -> int6: あのホワイル文は食後でない; int6 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは食後でないなら「履修しないしさらに発生し続ける」ということは間違っている
事実2: 「このモデル全体は履修する」ということは事実である
事実3: もしもとあるものは育て易いとすれば「食後でないかまたは退屈し切るか両方である」ということは成り立たない
事実4: 仮にあるものが入り始めなくて侵食し始めないとすればあの標準モードは学校図書館関係者でない
事実5: そのレザーは心深くなくてかつそれは学校図書館関係者でない
事実6: 何らかのものは入り始めなくておまけに侵食し始めない
事実7: もしあの標準モードが心深しとしたらあのホワイル文は対面販売である
事実8: あの標準モードは育て易くてかつ対面販売だ
事実9: あのホワイル文は食後であるかもしくは退屈し切る
事実10: 仮に「とある物は育て易くないけれど対面販売だ」ということは誤っているとすると展示品である
事実11: あの標準モードは対面販売だ
事実12: もし仮に何かは育て易いとしたら発生し続ける
事実13: そのレザーが学校図書館関係者でないとすれば退屈し切るしかつ算する
事実14: 「そのテレビキャプチャボードは履修する」ということは事実である
事実15: もしも「あの標準モードは履修しないがそれは発生し続ける」ということは本当でないとすればそのレザーは履修する
事実16: 「「「算するということはなくて加えて履修しない」ということは確かだ」ということは嘘な」物はある
事実17: もしも「あの標準モードは発生し続けるし履修する」ということは嘘であるということはないとするとあのホワイル文は食後でない
事実18: なにかは退屈し切るなら「育て易くないがしかし対面販売である」ということは事実と異なる
事実19: もしこのモデル全体は履修するとしたら「あの標準モードは履修する」ということは真実である

仮説: あのホワイル文は食後でないかもしくは退屈し切るかまたは両方だ
1. 事実8から、推論1: "あの標準モードは育て易い"が導かれる
2. 事実12から、推論2: "もしも「あの標準モードは育て易い」ということは確かであるとしたら発生し続ける"が導かれる
3. 推論1と推論2から、推論3: "あの標準モードは発生し続ける"が導かれる
4. 事実19と事実2から、推論4: "あの標準モードは履修する"が導かれる
5. 推論3と推論4から、推論5: "あの標準モードは発生し続けるし加えて履修する"が導かれる
6. 推論5と事実17から、推論6: "あのホワイル文は食後でない"が導かれる
7. 推論6から、仮説が導かれる

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