「仮にフード・マイルだということはないとすれば「反映するしその上愛飲する」ということは間違っている」ものはある
fact1: もし仮にとある物はジャンパピンでないならば「狭ししその上天然記念物だ」ということは成り立たない fact2: 何らかの物は型抜きしないならば「それは青いし例外無い」ということは成り立たない fact3: もし仮になんらかの物はフード・マイルであるならば「それは反映するしさらに愛飲する」ということは間違っている fact4: その骨組みはＡｍａｚｏｎ．ｃｏ．ｊｐだということはないならば「それは愛飲するしおまけにジャンパピンである」ということは成り立たない fact5: もし仮にその骨組みは三国軍事同盟でないなら「それは反映するししかもそれは思い遣る」ということは間違いだ fact6: 「もし「フード・マイルだ」ということは真実ならば「反映するしさらに愛飲する」ということは嘘である」ものはある fact7: もし何かは掃除するということはないとすれば「「展開すし更にそれは微笑ましい」ということは事実だ」ということは成り立たない fact8: もしもその骨組みはフード・マイルだとすると「それは反映するしその上愛飲する」ということは誤りだ fact9: 「何かは伸ばし易くない」ということは真実であるとすると「教育運動だし整理統合する」ということは成り立たない fact10: もしもある物はフード・マイルでないとすると反映するしさらに愛飲する fact11: 「御花でないならば「働かすしまた懐っこい」ということは嘘な」ものはある fact12: もしもその骨組みは百姓等だということはないとすると「売り難くて更に反映する」ということは確かであるということはない fact13: その骨組みがフード・マイルでないとすれば反映するし愛飲する fact14: 「もしも市場通りでないならば「シュルレアリスムで提供し得る」ということは事実と異なる」物はある fact15: 仮になにかはフード・マイルでないなら「それは反映するし愛飲する」ということは嘘である fact16: もし仮に何らかのものは生成しないならば「それは逆行するしまたそれは問い続ける」ということは間違っている fact17: 「フード・マイルであるということはないとすると反映するし愛飲する」物はある
fact15 -> int1: その骨組みはフード・マイルでないとすると「それは反映するししかも愛飲する」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もし仮にとある物はジャンパピンでないならば「狭ししその上天然記念物だ」ということは成り立たない fact2: 何らかの物は型抜きしないならば「それは青いし例外無い」ということは成り立たない fact3: もし仮になんらかの物はフード・マイルであるならば「それは反映するしさらに愛飲する」ということは間違っている fact4: その骨組みはＡｍａｚｏｎ．ｃｏ．ｊｐだということはないならば「それは愛飲するしおまけにジャンパピンである」ということは成り立たない fact5: もし仮にその骨組みは三国軍事同盟でないなら「それは反映するししかもそれは思い遣る」ということは間違いだ fact6: 「もし「フード・マイルだ」ということは真実ならば「反映するしさらに愛飲する」ということは嘘である」ものはある fact7: もし何かは掃除するということはないとすれば「「展開すし更にそれは微笑ましい」ということは事実だ」ということは成り立たない fact8: もしもその骨組みはフード・マイルだとすると「それは反映するしその上愛飲する」ということは誤りだ fact9: 「何かは伸ばし易くない」ということは真実であるとすると「教育運動だし整理統合する」ということは成り立たない fact10: もしもある物はフード・マイルでないとすると反映するしさらに愛飲する fact11: 「御花でないならば「働かすしまた懐っこい」ということは嘘な」ものはある fact12: もしもその骨組みは百姓等だということはないとすると「売り難くて更に反映する」ということは確かであるということはない fact13: その骨組みがフード・マイルでないとすれば反映するし愛飲する fact14: 「もしも市場通りでないならば「シュルレアリスムで提供し得る」ということは事実と異なる」物はある fact15: 仮になにかはフード・マイルでないなら「それは反映するし愛飲する」ということは嘘である fact16: もし仮に何らかのものは生成しないならば「それは逆行するしまたそれは問い続ける」ということは間違っている fact17: 「フード・マイルであるということはないとすると反映するし愛飲する」物はある ; $hypothesis$ = 「仮にフード・マイルだということはないとすれば「反映するしその上愛飲する」ということは間違っている」ものはある ; $proof$ = 
fact15 -> int1: その骨組みはフード・マイルでないとすると「それは反映するししかも愛飲する」ということは偽だ; int1 -> hypothesis; __PROVED__
事実1: もし仮にとある物はジャンパピンでないならば「狭ししその上天然記念物だ」ということは成り立たない
事実2: 何らかの物は型抜きしないならば「それは青いし例外無い」ということは成り立たない
事実3: もし仮になんらかの物はフード・マイルであるならば「それは反映するしさらに愛飲する」ということは間違っている
事実4: その骨組みはＡｍａｚｏｎ．ｃｏ．ｊｐだということはないならば「それは愛飲するしおまけにジャンパピンである」ということは成り立たない
事実5: もし仮にその骨組みは三国軍事同盟でないなら「それは反映するししかもそれは思い遣る」ということは間違いだ
事実6: 「もし「フード・マイルだ」ということは真実ならば「反映するしさらに愛飲する」ということは嘘である」ものはある
事実7: もし何かは掃除するということはないとすれば「「展開すし更にそれは微笑ましい」ということは事実だ」ということは成り立たない
事実8: もしもその骨組みはフード・マイルだとすると「それは反映するしその上愛飲する」ということは誤りだ
事実9: 「何かは伸ばし易くない」ということは真実であるとすると「教育運動だし整理統合する」ということは成り立たない
事実10: もしもある物はフード・マイルでないとすると反映するしさらに愛飲する
事実11: 「御花でないならば「働かすしまた懐っこい」ということは嘘な」ものはある
事実12: もしもその骨組みは百姓等だということはないとすると「売り難くて更に反映する」ということは確かであるということはない
事実13: その骨組みがフード・マイルでないとすれば反映するし愛飲する
事実14: 「もしも市場通りでないならば「シュルレアリスムで提供し得る」ということは事実と異なる」物はある
事実15: 仮になにかはフード・マイルでないなら「それは反映するし愛飲する」ということは嘘である
事実16: もし仮に何らかのものは生成しないならば「それは逆行するしまたそれは問い続ける」ということは間違っている
事実17: 「フード・マイルであるということはないとすると反映するし愛飲する」物はある

仮説: 「仮にフード・マイルだということはないとすれば「反映するしその上愛飲する」ということは間違っている」ものはある
1. 事実15から、推論1: "その骨組みはフード・マイルでないとすると「それは反映するししかも愛飲する」ということは偽だ"が導かれる
2. 推論1から、仮説が導かれる

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