「このトレーラーはエンジン周りでなくてその上吊れない」ということは誤っている
fact1: もし仮にとあるものが腐れないとすると悪いかまたはすばしっこいかまたは両方である fact2: あるものがデザイン事務所だとすれば定むない fact3: 「この有力候補はエンジン周りでないし話法でない」ということは成り立たない fact4: もし「何らかの物は定むない」ということは本当であるとするとそれはエンジン周りでないし吊れない fact5: 「このパンプスは吊れないし鳴らし続けるということはない」ということは誤りである fact6: 「このトレーラーはエンジン周りでない一方で吊れる」ということは成り立たない fact7: 「それはエンジン周りであるしそれは吊れないという物はない」ということは正しい fact8: 仮に「なんらかのものは腐れるし遣り辛い」ということは成り立たないならばそれは腐れない fact9: あらゆるものはすばしっこい fact10: エンジン周りでないしそれに吊れないという物はない fact11: 「このトレーラーは朱紅色でなくてかつ吊れない」ということは成り立たない fact12: 「このトレーラーはエンジン周りでなくて甥達でない」ということは事実と異なる fact13: もしもあのＨＩＮＴが腐れないとすればその鬼王は腐れない fact14: エンジン周りだということはないが吊れるというものはない fact15: 「このトレーラーはエンジン周りであるけど吊れるということはない」ということは事実と異なる
fact10 -> hypothesis;
このトレーラーはエンジン周りであるということはなくてまたそれは吊れない
fact18 -> int1: もしもこのトレーラーが定むないならばそれはエンジン周りでないしおまけに吊れない; fact20 -> int2: 仮にこのトレーラーはデザイン事務所であるなら定むない; fact17 -> int3: もしその鬼王が腐れないとすれば悪いかあるいはそれはすばしっこい; fact19 -> int4: もしも「あのＨＩＮＴは腐れるし遣り辛い」ということは間違っているとしたら腐れるということはない;
$facts$ = fact1: もし仮にとあるものが腐れないとすると悪いかまたはすばしっこいかまたは両方である fact2: あるものがデザイン事務所だとすれば定むない fact3: 「この有力候補はエンジン周りでないし話法でない」ということは成り立たない fact4: もし「何らかの物は定むない」ということは本当であるとするとそれはエンジン周りでないし吊れない fact5: 「このパンプスは吊れないし鳴らし続けるということはない」ということは誤りである fact6: 「このトレーラーはエンジン周りでない一方で吊れる」ということは成り立たない fact7: 「それはエンジン周りであるしそれは吊れないという物はない」ということは正しい fact8: 仮に「なんらかのものは腐れるし遣り辛い」ということは成り立たないならばそれは腐れない fact9: あらゆるものはすばしっこい fact10: エンジン周りでないしそれに吊れないという物はない fact11: 「このトレーラーは朱紅色でなくてかつ吊れない」ということは成り立たない fact12: 「このトレーラーはエンジン周りでなくて甥達でない」ということは事実と異なる fact13: もしもあのＨＩＮＴが腐れないとすればその鬼王は腐れない fact14: エンジン周りだということはないが吊れるというものはない fact15: 「このトレーラーはエンジン周りであるけど吊れるということはない」ということは事実と異なる ; $hypothesis$ = 「このトレーラーはエンジン周りでなくてその上吊れない」ということは誤っている ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが腐れないとすると悪いかまたはすばしっこいかまたは両方である
事実2: あるものがデザイン事務所だとすれば定むない
事実3: 「この有力候補はエンジン周りでないし話法でない」ということは成り立たない
事実4: もし「何らかの物は定むない」ということは本当であるとするとそれはエンジン周りでないし吊れない
事実5: 「このパンプスは吊れないし鳴らし続けるということはない」ということは誤りである
事実6: 「このトレーラーはエンジン周りでない一方で吊れる」ということは成り立たない
事実7: 「それはエンジン周りであるしそれは吊れないという物はない」ということは正しい
事実8: 仮に「なんらかのものは腐れるし遣り辛い」ということは成り立たないならばそれは腐れない
事実9: あらゆるものはすばしっこい
事実10: エンジン周りでないしそれに吊れないという物はない
事実11: 「このトレーラーは朱紅色でなくてかつ吊れない」ということは成り立たない
事実12: 「このトレーラーはエンジン周りでなくて甥達でない」ということは事実と異なる
事実13: もしもあのＨＩＮＴが腐れないとすればその鬼王は腐れない
事実14: エンジン周りだということはないが吊れるというものはない
事実15: 「このトレーラーはエンジン周りであるけど吊れるということはない」ということは事実と異なる

仮説: 「このトレーラーはエンジン周りでなくてその上吊れない」ということは誤っている
1. 事実10から、仮説が導かれる

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