「あのスポーツ場面は滑り落とす」ということは確かである
fact1: あのスポーツ場面が努め為さらないならばあの原価差損は滑り落とす fact2: もしも「このイントロダクションは製薬工場でないし紛らわしくない」ということは事実でないならばこの原価差損は隅だ fact3: 仮にあのロジステックスが製薬工場であるならあのスポーツ場面は滑り落とす fact4: この原価差損はガンバ料理でない fact5: 仮にこの原価差損が滑り落とすならあのスポーツ場面は生じ易い fact6: もしも「このイントロダクションは隅でなくてしかもガンバ料理でない」ということは偽だとすると「あのロジステックスは製薬工場である」ということは本当だ fact7: 「このイントロダクションは生じ易くないかまたは隅であるかもしくはどちらもである」ということは間違いである fact8: このイントロダクションは丸紅等でない fact9: このディジタル演算はまわなくてまた紛らわしくない fact10: この原価差損が製薬工場だとすればあのロジステックスは努め為さる fact11: この原価差損は溶け込める fact12: 「「このイントロダクションは隅でないかあるいは滑り落とすかどちらもだ」ということは成り立たないとすると「このイントロダクションは製薬工場でない」ということは成り立つ」ということは正しい fact13: 「あの刺し子は解列しないし二人連れだということはない」ということは事実と異なる fact14: その自主的判断は隅である fact15: 仮にあのロジステックスが努め為さるならこの原価差損は製薬工場である fact16: 「この原価差損は滑り落とすけど生じ易くない」ということは成り立たない fact17: 仮に「「この原価差損は生じ易くないかあるいは紛らわしいかあるいは両方ともである」ということは偽である」ということは本当だとすれば努め為さらない fact18: このイントロダクションがガンバ料理でないとすればこの原価差損は努め為さる fact19: 「「あのロジステックスは製薬工場であるけどそれは努め為さらない」ということは間違いである」ということは成り立つ fact20: 仮にこの原価差損がガンバ料理であるならばこのイントロダクションは努め為さる fact21: あのプリント類はガンバ料理でない fact22: 「この原価差損は生じ易くないかまたは紛らわしいかあるいはどちらもだ」ということは成り立たない fact23: 「このイントロダクションは紛らわしくない」ということは事実だ fact24: 「この如来像は努め為さらないし許せない」ということは正しい fact25: 「あのロジステックスはガンバ料理であるということはない」ということは成り立つ
void -> assump1: 以下のように仮定する。このイントロダクションは隅でないしさらにガンバ料理でない; assump1 -> int1: このイントロダクションはガンバ料理でない; int1 & fact18 -> int2: この原価差損は努め為さる; fact17 & fact22 -> int3: この原価差損は努め為さるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このイントロダクションは隅でなくて加えてガンバ料理でない」ということは誤りである; int5 & fact6 -> int6: あのロジステックスは製薬工場だ; int6 & fact3 -> hypothesis;
$facts$ = fact1: あのスポーツ場面が努め為さらないならばあの原価差損は滑り落とす fact2: もしも「このイントロダクションは製薬工場でないし紛らわしくない」ということは事実でないならばこの原価差損は隅だ fact3: 仮にあのロジステックスが製薬工場であるならあのスポーツ場面は滑り落とす fact4: この原価差損はガンバ料理でない fact5: 仮にこの原価差損が滑り落とすならあのスポーツ場面は生じ易い fact6: もしも「このイントロダクションは隅でなくてしかもガンバ料理でない」ということは偽だとすると「あのロジステックスは製薬工場である」ということは本当だ fact7: 「このイントロダクションは生じ易くないかまたは隅であるかもしくはどちらもである」ということは間違いである fact8: このイントロダクションは丸紅等でない fact9: このディジタル演算はまわなくてまた紛らわしくない fact10: この原価差損が製薬工場だとすればあのロジステックスは努め為さる fact11: この原価差損は溶け込める fact12: 「「このイントロダクションは隅でないかあるいは滑り落とすかどちらもだ」ということは成り立たないとすると「このイントロダクションは製薬工場でない」ということは成り立つ」ということは正しい fact13: 「あの刺し子は解列しないし二人連れだということはない」ということは事実と異なる fact14: その自主的判断は隅である fact15: 仮にあのロジステックスが努め為さるならこの原価差損は製薬工場である fact16: 「この原価差損は滑り落とすけど生じ易くない」ということは成り立たない fact17: 仮に「「この原価差損は生じ易くないかあるいは紛らわしいかあるいは両方ともである」ということは偽である」ということは本当だとすれば努め為さらない fact18: このイントロダクションがガンバ料理でないとすればこの原価差損は努め為さる fact19: 「「あのロジステックスは製薬工場であるけどそれは努め為さらない」ということは間違いである」ということは成り立つ fact20: 仮にこの原価差損がガンバ料理であるならばこのイントロダクションは努め為さる fact21: あのプリント類はガンバ料理でない fact22: 「この原価差損は生じ易くないかまたは紛らわしいかあるいはどちらもだ」ということは成り立たない fact23: 「このイントロダクションは紛らわしくない」ということは事実だ fact24: 「この如来像は努め為さらないし許せない」ということは正しい fact25: 「あのロジステックスはガンバ料理であるということはない」ということは成り立つ ; $hypothesis$ = 「あのスポーツ場面は滑り落とす」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。このイントロダクションは隅でないしさらにガンバ料理でない; assump1 -> int1: このイントロダクションはガンバ料理でない; int1 & fact18 -> int2: この原価差損は努め為さる; fact17 & fact22 -> int3: この原価差損は努め為さるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このイントロダクションは隅でなくて加えてガンバ料理でない」ということは誤りである; int5 & fact6 -> int6: あのロジステックスは製薬工場だ; int6 & fact3 -> hypothesis; __PROVED__
事実1: あのスポーツ場面が努め為さらないならばあの原価差損は滑り落とす
事実2: もしも「このイントロダクションは製薬工場でないし紛らわしくない」ということは事実でないならばこの原価差損は隅だ
事実3: 仮にあのロジステックスが製薬工場であるならあのスポーツ場面は滑り落とす
事実4: この原価差損はガンバ料理でない
事実5: 仮にこの原価差損が滑り落とすならあのスポーツ場面は生じ易い
事実6: もしも「このイントロダクションは隅でなくてしかもガンバ料理でない」ということは偽だとすると「あのロジステックスは製薬工場である」ということは本当だ
事実7: 「このイントロダクションは生じ易くないかまたは隅であるかもしくはどちらもである」ということは間違いである
事実8: このイントロダクションは丸紅等でない
事実9: このディジタル演算はまわなくてまた紛らわしくない
事実10: この原価差損が製薬工場だとすればあのロジステックスは努め為さる
事実11: この原価差損は溶け込める
事実12: 「「このイントロダクションは隅でないかあるいは滑り落とすかどちらもだ」ということは成り立たないとすると「このイントロダクションは製薬工場でない」ということは成り立つ」ということは正しい
事実13: 「あの刺し子は解列しないし二人連れだということはない」ということは事実と異なる
事実14: その自主的判断は隅である
事実15: 仮にあのロジステックスが努め為さるならこの原価差損は製薬工場である
事実16: 「この原価差損は滑り落とすけど生じ易くない」ということは成り立たない
事実17: 仮に「「この原価差損は生じ易くないかあるいは紛らわしいかあるいは両方ともである」ということは偽である」ということは本当だとすれば努め為さらない
事実18: このイントロダクションがガンバ料理でないとすればこの原価差損は努め為さる
事実19: 「「あのロジステックスは製薬工場であるけどそれは努め為さらない」ということは間違いである」ということは成り立つ
事実20: 仮にこの原価差損がガンバ料理であるならばこのイントロダクションは努め為さる
事実21: あのプリント類はガンバ料理でない
事実22: 「この原価差損は生じ易くないかまたは紛らわしいかあるいはどちらもだ」ということは成り立たない
事実23: 「このイントロダクションは紛らわしくない」ということは事実だ
事実24: 「この如来像は努め為さらないし許せない」ということは正しい
事実25: 「あのロジステックスはガンバ料理であるということはない」ということは成り立つ

仮説: 「あのスポーツ場面は滑り落とす」ということは確かである
1. 仮定1: 以下のように仮定する。このイントロダクションは隅でないしさらにガンバ料理でない
2. 仮定1から、推論1: "このイントロダクションはガンバ料理でない"が導かれる
3. 推論1と事実18から、推論2: "この原価差損は努め為さる"が導かれる
4. 事実17と事実22から、推論3: "この原価差損は努め為さるということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このイントロダクションは隅でなくて加えてガンバ料理でない」ということは誤りである"が導かれる
7. 推論5と事実6から、推論6: "あのロジステックスは製薬工場だ"が導かれる
8. 推論6と事実3から、仮説が導かれる

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