「あのローゼンガルテンは尽かすけどそれはビジネス環境でない」ということは本当でない
fact1: 仮に「根機でない」ものがあるとしたらこの詩は近付き難いし厳めしい fact2: あるものは根機でない fact3: 「あのローゼンガルテンは尽かすしその上ヤミ和牛肉だ」ということは事実でない fact4: 仮に「憎い」ものはあるとすれば「あのローゼンガルテンは尽かすけどビジネス環境でない」ということは成り立たない fact5: 仮に「「臭い」ということは本当である」ものはあるなら「その英和辞典は憎いけれど検見であるということはない」ということは成り立たない fact6: 仮に「尽かす」物はあるとしたら「あのローゼンガルテンはカーペットだけれど消失点でない」ということは誤っている fact7: もし「「憎い」ということは本当である」ものはあるなら「あのローゼンガルテンは尽かすしビジネス環境である」ということは誤っている fact8: 「成っちゃんである」物はあるなら「あのローゼンガルテンはビジネス環境で譲歩出来る」ということは成り立たない fact9: もし仮にこの詩が一側面だとすれば尽くし得るということはない fact10: 「あのローゼンガルテンはビジネス環境だ一方で放水するということはない」ということは嘘だ fact11: この詩が近付き難いがしかし尽くし得ないならこの豊漁は熱いということはない fact12: 憎い物はある fact13: 仮に何かは熱いということはないとすれば「それは軽視するということはないし加えて際限無くない」ということは成り立たない fact14: 「あのローゼンガルテンは尽かすし加えてビジネス環境である」ということは成り立たない fact15: 仮にこの詩は会員ならば「尽くし得る」ということは嘘だ fact16: もしも「「割り算する」ということは成り立つ」ものはあれば「この角切りは講義するしそれは尽かす」ということは誤っている fact17: もし仮に「ビジネス環境な」ものはあるなら「この対処行動は礼儀正しくてそれは憎たらしい」ということは成り立つということはない fact18: 「あのローゼンガルテンは完璧主義であるけれど尽かさない」ということは誤っている fact19: もし仮に「溶け出す」ものはあるとすると「「あのローゼンガルテンは酔い易いけれど説明し易いということはない」ということは間違いだ」ということは本当だ fact20: この詩は会員であるかあるいは一側面であるかあるいは両方ともだ fact21: 仮に「ある物は軽視しなくて更に際限無いということはない」ということは偽であるとすれば軽視する
fact12 & fact4 -> hypothesis;
「あのローゼンガルテンは尽かすがそれはビジネス環境でない」ということは誤っていない
fact24 -> int1: もしも「この豊漁は軽視しなくてかつ際限無くない」ということは偽であるとすると軽視する; fact26 -> int2: もしもこの豊漁は熱くないとすると「それは軽視しなくてかつ際限無くない」ということは偽だ; fact27 & fact28 -> int3: この詩は近付き難くてかつそれは厳めしい; int3 -> int4: この詩は近付き難い; fact22 & fact23 & fact25 -> int5: この詩は尽くし得ない; int4 & int5 -> int6: この詩は近付き難いが尽くし得ない; fact29 & int6 -> int7: この豊漁は熱くない; int2 & int7 -> int8: 「この豊漁が軽視するということはないしその上際限無くない」ということは成り立たない; int1 & int8 -> int9: この豊漁は軽視する; int9 -> int10: ある物は軽視する;
$facts$ = fact1: 仮に「根機でない」ものがあるとしたらこの詩は近付き難いし厳めしい fact2: あるものは根機でない fact3: 「あのローゼンガルテンは尽かすしその上ヤミ和牛肉だ」ということは事実でない fact4: 仮に「憎い」ものはあるとすれば「あのローゼンガルテンは尽かすけどビジネス環境でない」ということは成り立たない fact5: 仮に「「臭い」ということは本当である」ものはあるなら「その英和辞典は憎いけれど検見であるということはない」ということは成り立たない fact6: 仮に「尽かす」物はあるとしたら「あのローゼンガルテンはカーペットだけれど消失点でない」ということは誤っている fact7: もし「「憎い」ということは本当である」ものはあるなら「あのローゼンガルテンは尽かすしビジネス環境である」ということは誤っている fact8: 「成っちゃんである」物はあるなら「あのローゼンガルテンはビジネス環境で譲歩出来る」ということは成り立たない fact9: もし仮にこの詩が一側面だとすれば尽くし得るということはない fact10: 「あのローゼンガルテンはビジネス環境だ一方で放水するということはない」ということは嘘だ fact11: この詩が近付き難いがしかし尽くし得ないならこの豊漁は熱いということはない fact12: 憎い物はある fact13: 仮に何かは熱いということはないとすれば「それは軽視するということはないし加えて際限無くない」ということは成り立たない fact14: 「あのローゼンガルテンは尽かすし加えてビジネス環境である」ということは成り立たない fact15: 仮にこの詩は会員ならば「尽くし得る」ということは嘘だ fact16: もしも「「割り算する」ということは成り立つ」ものはあれば「この角切りは講義するしそれは尽かす」ということは誤っている fact17: もし仮に「ビジネス環境な」ものはあるなら「この対処行動は礼儀正しくてそれは憎たらしい」ということは成り立つということはない fact18: 「あのローゼンガルテンは完璧主義であるけれど尽かさない」ということは誤っている fact19: もし仮に「溶け出す」ものはあるとすると「「あのローゼンガルテンは酔い易いけれど説明し易いということはない」ということは間違いだ」ということは本当だ fact20: この詩は会員であるかあるいは一側面であるかあるいは両方ともだ fact21: 仮に「ある物は軽視しなくて更に際限無いということはない」ということは偽であるとすれば軽視する ; $hypothesis$ = 「あのローゼンガルテンは尽かすけどそれはビジネス環境でない」ということは本当でない ; $proof$ = 
fact12 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「根機でない」ものがあるとしたらこの詩は近付き難いし厳めしい
事実2: あるものは根機でない
事実3: 「あのローゼンガルテンは尽かすしその上ヤミ和牛肉だ」ということは事実でない
事実4: 仮に「憎い」ものはあるとすれば「あのローゼンガルテンは尽かすけどビジネス環境でない」ということは成り立たない
事実5: 仮に「「臭い」ということは本当である」ものはあるなら「その英和辞典は憎いけれど検見であるということはない」ということは成り立たない
事実6: 仮に「尽かす」物はあるとしたら「あのローゼンガルテンはカーペットだけれど消失点でない」ということは誤っている
事実7: もし「「憎い」ということは本当である」ものはあるなら「あのローゼンガルテンは尽かすしビジネス環境である」ということは誤っている
事実8: 「成っちゃんである」物はあるなら「あのローゼンガルテンはビジネス環境で譲歩出来る」ということは成り立たない
事実9: もし仮にこの詩が一側面だとすれば尽くし得るということはない
事実10: 「あのローゼンガルテンはビジネス環境だ一方で放水するということはない」ということは嘘だ
事実11: この詩が近付き難いがしかし尽くし得ないならこの豊漁は熱いということはない
事実12: 憎い物はある
事実13: 仮に何かは熱いということはないとすれば「それは軽視するということはないし加えて際限無くない」ということは成り立たない
事実14: 「あのローゼンガルテンは尽かすし加えてビジネス環境である」ということは成り立たない
事実15: 仮にこの詩は会員ならば「尽くし得る」ということは嘘だ
事実16: もしも「「割り算する」ということは成り立つ」ものはあれば「この角切りは講義するしそれは尽かす」ということは誤っている
事実17: もし仮に「ビジネス環境な」ものはあるなら「この対処行動は礼儀正しくてそれは憎たらしい」ということは成り立つということはない
事実18: 「あのローゼンガルテンは完璧主義であるけれど尽かさない」ということは誤っている
事実19: もし仮に「溶け出す」ものはあるとすると「「あのローゼンガルテンは酔い易いけれど説明し易いということはない」ということは間違いだ」ということは本当だ
事実20: この詩は会員であるかあるいは一側面であるかあるいは両方ともだ
事実21: 仮に「ある物は軽視しなくて更に際限無いということはない」ということは偽であるとすれば軽視する

仮説: 「あのローゼンガルテンは尽かすけどそれはビジネス環境でない」ということは本当でない
1. 事実12と事実4から、仮説が導かれる

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