「「オーバーホールすれば黒しないかもしくはかわゆくないかあるいはどちらもである」物はある」ということは真実である
fact1: ある物が狩り出すとするとあのチキンライスは尤もらしい fact2: もし「あのチキンライスはオーバーホールする」ということは誤っていないとしたらそれは黒しかかわゆくないかまたはどちらもだ fact3: 「もし入り易いなら磨き上げないかあるいは事業承継者でないかあるいは両方な」ものはある fact4: 「もしあの詰め合わせがおっかなくないならばあのチキンライスはオーバーホールするしそれは尤もらしい」ということは確かである fact5: あのチキンライスは兼ね合いであるかそれは平ったくないかもしくは両方ともだ fact6: おっかなくないものは黒しない fact7: もし仮に「その十五世紀前葉は高血糖である」ということは事実であるとすれば黒し fact8: もし何らかのものは尤もらしいしかつオーバーホールするとしたらそれはおっかなくない fact9: あのチキンライスは黒しないかかわゆいかまたは両方ともである fact10: もし「「育ち難くないし狩り出さない」ということは間違っている」物があるとしたらあのチキンライスは尤もらしい fact11: 「もしもオーバーホールするとすれば黒しないかかわゆいかもしくは両方ともである」物はある fact12: もし仮に「その十五世紀前葉はレイアウトタイプでないけどおっかない」ということは成り立たないとしたらあの詰め合わせはおっかなくない fact13: 仮にあのチキンライスがおっかないならばそれは即席漬けでないかあるいは安しかどちらもだ fact14: 「「育ち難いということはなくておまけに狩り出す」ということは事実と異なる」ものはある fact15: 「「育ち難くないしまた狩り出さない」ということは誤りである」物はある
fact15 & fact10 -> int1: あのチキンライスは尤もらしい; void -> assump1: 以下のように仮定する。あのチキンライスはオーバーホールする; int1 & assump1 -> int2: あのチキンライスは尤もらしいしおまけにオーバーホールする; fact8 -> int3: もしあのチキンライスが尤もらしいしそれにオーバーホールすればおっかなくない; int2 & int3 -> int4: 「あのチキンライスはおっかなくない」ということは成り立つ; fact6 -> int5: 仮にあのチキンライスはおっかなくないならばそれは黒しない; int4 & int5 -> int6: あのチキンライスは黒しない; int6 -> int7: あのチキンライスは黒しないかあるいはかわゆくないかもしくは両方ともである; [assump1] & int7 -> int8: もし仮にあのチキンライスがオーバーホールすればそれは黒しないかあるいはかわゆくない; int8 -> hypothesis;
その替え金売りはかわゆい
$facts$ = fact1: ある物が狩り出すとするとあのチキンライスは尤もらしい fact2: もし「あのチキンライスはオーバーホールする」ということは誤っていないとしたらそれは黒しかかわゆくないかまたはどちらもだ fact3: 「もし入り易いなら磨き上げないかあるいは事業承継者でないかあるいは両方な」ものはある fact4: 「もしあの詰め合わせがおっかなくないならばあのチキンライスはオーバーホールするしそれは尤もらしい」ということは確かである fact5: あのチキンライスは兼ね合いであるかそれは平ったくないかもしくは両方ともだ fact6: おっかなくないものは黒しない fact7: もし仮に「その十五世紀前葉は高血糖である」ということは事実であるとすれば黒し fact8: もし何らかのものは尤もらしいしかつオーバーホールするとしたらそれはおっかなくない fact9: あのチキンライスは黒しないかかわゆいかまたは両方ともである fact10: もし「「育ち難くないし狩り出さない」ということは間違っている」物があるとしたらあのチキンライスは尤もらしい fact11: 「もしもオーバーホールするとすれば黒しないかかわゆいかもしくは両方ともである」物はある fact12: もし仮に「その十五世紀前葉はレイアウトタイプでないけどおっかない」ということは成り立たないとしたらあの詰め合わせはおっかなくない fact13: 仮にあのチキンライスがおっかないならばそれは即席漬けでないかあるいは安しかどちらもだ fact14: 「「育ち難いということはなくておまけに狩り出す」ということは事実と異なる」ものはある fact15: 「「育ち難くないしまた狩り出さない」ということは誤りである」物はある ; $hypothesis$ = 「「オーバーホールすれば黒しないかもしくはかわゆくないかあるいはどちらもである」物はある」ということは真実である ; $proof$ = 
fact15 & fact10 -> int1: あのチキンライスは尤もらしい; void -> assump1: 以下のように仮定する。あのチキンライスはオーバーホールする; int1 & assump1 -> int2: あのチキンライスは尤もらしいしおまけにオーバーホールする; fact8 -> int3: もしあのチキンライスが尤もらしいしそれにオーバーホールすればおっかなくない; int2 & int3 -> int4: 「あのチキンライスはおっかなくない」ということは成り立つ; fact6 -> int5: 仮にあのチキンライスはおっかなくないならばそれは黒しない; int4 & int5 -> int6: あのチキンライスは黒しない; int6 -> int7: あのチキンライスは黒しないかあるいはかわゆくないかもしくは両方ともである; [assump1] & int7 -> int8: もし仮にあのチキンライスがオーバーホールすればそれは黒しないかあるいはかわゆくない; int8 -> hypothesis; __PROVED__
事実1: ある物が狩り出すとするとあのチキンライスは尤もらしい
事実2: もし「あのチキンライスはオーバーホールする」ということは誤っていないとしたらそれは黒しかかわゆくないかまたはどちらもだ
事実3: 「もし入り易いなら磨き上げないかあるいは事業承継者でないかあるいは両方な」ものはある
事実4: 「もしあの詰め合わせがおっかなくないならばあのチキンライスはオーバーホールするしそれは尤もらしい」ということは確かである
事実5: あのチキンライスは兼ね合いであるかそれは平ったくないかもしくは両方ともだ
事実6: おっかなくないものは黒しない
事実7: もし仮に「その十五世紀前葉は高血糖である」ということは事実であるとすれば黒し
事実8: もし何らかのものは尤もらしいしかつオーバーホールするとしたらそれはおっかなくない
事実9: あのチキンライスは黒しないかかわゆいかまたは両方ともである
事実10: もし「「育ち難くないし狩り出さない」ということは間違っている」物があるとしたらあのチキンライスは尤もらしい
事実11: 「もしもオーバーホールするとすれば黒しないかかわゆいかもしくは両方ともである」物はある
事実12: もし仮に「その十五世紀前葉はレイアウトタイプでないけどおっかない」ということは成り立たないとしたらあの詰め合わせはおっかなくない
事実13: 仮にあのチキンライスがおっかないならばそれは即席漬けでないかあるいは安しかどちらもだ
事実14: 「「育ち難いということはなくておまけに狩り出す」ということは事実と異なる」ものはある
事実15: 「「育ち難くないしまた狩り出さない」ということは誤りである」物はある

仮説: 「「オーバーホールすれば黒しないかもしくはかわゆくないかあるいはどちらもである」物はある」ということは真実である
1. 事実15と事実10から、推論1: "あのチキンライスは尤もらしい"が導かれる
2. 仮定1: 以下のように仮定する。あのチキンライスはオーバーホールする
3. 推論1と仮定1から、推論2: "あのチキンライスは尤もらしいしおまけにオーバーホールする"が導かれる
4. 事実8から、推論3: "もしあのチキンライスが尤もらしいしそれにオーバーホールすればおっかなくない"が導かれる
5. 推論2と推論3から、推論4: "「あのチキンライスはおっかなくない」ということは成り立つ"が導かれる
6. 事実6から、推論5: "仮にあのチキンライスはおっかなくないならばそれは黒しない"が導かれる
7. 推論4と推論5から、推論6: "あのチキンライスは黒しない"が導かれる
8. 推論6から、推論7: "あのチキンライスは黒しないかあるいはかわゆくないかもしくは両方ともである"が導かれる
9. [仮定1]と推論7から、推論8: "もし仮にあのチキンライスがオーバーホールすればそれは黒しないかあるいはかわゆくない"が導かれる
10. 推論8から、仮説が導かれる

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