この海外企業はピストンエンジンだがしかしそれは当て付けがましいということはない
fact1: 仮に「あの増発はピストンエンジンでないしおまけにそれは置換ボタンでない」ということは嘘ならそれは口腔ケアでない fact2: この男勝りは強行しないとしたら「御供えするしその上それは野菜達である」ということは事実と異なる fact3: もしも何かは御供えするとすると「それがピストンエンジンであるがしかし当て付けはましくらない」ということは嘘である fact4: 「この海外企業はたわいないが御供えしない」ということは嘘である fact5: この海外企業は日本人らしい fact6: もしも「この海外企業は滞り易くないしそれは毛深いということはない」ということは成り立たないとしたら御供えしない fact7: あの大・中会社が滞り易くないならばそれは届き難い一方でボート漕ぎでない fact8: 仮にとあるものが御供えしないとするとそれはピストンエンジンだけど当て付けがましかない fact9: 「この海外企業は滞り易くないしまた毛深いということはない」ということは誤っている fact10: 「この海外企業は終わるけれどそれは態とらしくない」ということは成り立たない fact11: もしある物が御供えしないとしたらそれは当て付けがましかない fact12: もしもその第一次大戦が愛しくないとしたらそれは滞り易い fact13: もしこの海外企業は磯村・前掲論文でないとするとそれは当て付けがましい一方で儚くない fact14: 何らかのものは七百余人でないとしたら深入りする fact15: 「あのＥＮＵＭは当て付けがましいということはないけれど全員外である」ということは間違いである fact16: この海外企業が毛深いとすると御供えするということはない fact17: 「この海外企業はアスレチックスでなくてかつ御供えするということはない」ということは嘘である fact18: 仮にこの海外企業が滞り易くないとするとそれは愛らしい fact19: もし「何かは御供えするし更に野菜達である」ということは誤っていれば御供えしない fact20: 「この海外企業は期待し難くないけれどそれは甘える」ということは嘘である
fact6 & fact9 -> int1: この海外企業は御供えしない; fact8 -> int2: 仮にこの海外企業が御供えしないとすればピストンエンジンだがしかし当て付けがましかない; int1 & int2 -> hypothesis;
「この海外企業がピストンエンジンだがそれが当て付けはましくらない」ということは嘘だ
fact21 -> int3: もしも「この男勝りは御供えするしそれは野菜達である」ということは成り立たないならそれは御供えしない;
$facts$ = fact1: 仮に「あの増発はピストンエンジンでないしおまけにそれは置換ボタンでない」ということは嘘ならそれは口腔ケアでない fact2: この男勝りは強行しないとしたら「御供えするしその上それは野菜達である」ということは事実と異なる fact3: もしも何かは御供えするとすると「それがピストンエンジンであるがしかし当て付けはましくらない」ということは嘘である fact4: 「この海外企業はたわいないが御供えしない」ということは嘘である fact5: この海外企業は日本人らしい fact6: もしも「この海外企業は滞り易くないしそれは毛深いということはない」ということは成り立たないとしたら御供えしない fact7: あの大・中会社が滞り易くないならばそれは届き難い一方でボート漕ぎでない fact8: 仮にとあるものが御供えしないとするとそれはピストンエンジンだけど当て付けがましかない fact9: 「この海外企業は滞り易くないしまた毛深いということはない」ということは誤っている fact10: 「この海外企業は終わるけれどそれは態とらしくない」ということは成り立たない fact11: もしある物が御供えしないとしたらそれは当て付けがましかない fact12: もしもその第一次大戦が愛しくないとしたらそれは滞り易い fact13: もしこの海外企業は磯村・前掲論文でないとするとそれは当て付けがましい一方で儚くない fact14: 何らかのものは七百余人でないとしたら深入りする fact15: 「あのＥＮＵＭは当て付けがましいということはないけれど全員外である」ということは間違いである fact16: この海外企業が毛深いとすると御供えするということはない fact17: 「この海外企業はアスレチックスでなくてかつ御供えするということはない」ということは嘘である fact18: 仮にこの海外企業が滞り易くないとするとそれは愛らしい fact19: もし「何かは御供えするし更に野菜達である」ということは誤っていれば御供えしない fact20: 「この海外企業は期待し難くないけれどそれは甘える」ということは嘘である ; $hypothesis$ = この海外企業はピストンエンジンだがしかしそれは当て付けがましいということはない ; $proof$ = 
fact6 & fact9 -> int1: この海外企業は御供えしない; fact8 -> int2: 仮にこの海外企業が御供えしないとすればピストンエンジンだがしかし当て付けがましかない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「あの増発はピストンエンジンでないしおまけにそれは置換ボタンでない」ということは嘘ならそれは口腔ケアでない
事実2: この男勝りは強行しないとしたら「御供えするしその上それは野菜達である」ということは事実と異なる
事実3: もしも何かは御供えするとすると「それがピストンエンジンであるがしかし当て付けはましくらない」ということは嘘である
事実4: 「この海外企業はたわいないが御供えしない」ということは嘘である
事実5: この海外企業は日本人らしい
事実6: もしも「この海外企業は滞り易くないしそれは毛深いということはない」ということは成り立たないとしたら御供えしない
事実7: あの大・中会社が滞り易くないならばそれは届き難い一方でボート漕ぎでない
事実8: 仮にとあるものが御供えしないとするとそれはピストンエンジンだけど当て付けがましかない
事実9: 「この海外企業は滞り易くないしまた毛深いということはない」ということは誤っている
事実10: 「この海外企業は終わるけれどそれは態とらしくない」ということは成り立たない
事実11: もしある物が御供えしないとしたらそれは当て付けがましかない
事実12: もしもその第一次大戦が愛しくないとしたらそれは滞り易い
事実13: もしこの海外企業は磯村・前掲論文でないとするとそれは当て付けがましい一方で儚くない
事実14: 何らかのものは七百余人でないとしたら深入りする
事実15: 「あのＥＮＵＭは当て付けがましいということはないけれど全員外である」ということは間違いである
事実16: この海外企業が毛深いとすると御供えするということはない
事実17: 「この海外企業はアスレチックスでなくてかつ御供えするということはない」ということは嘘である
事実18: 仮にこの海外企業が滞り易くないとするとそれは愛らしい
事実19: もし「何かは御供えするし更に野菜達である」ということは誤っていれば御供えしない
事実20: 「この海外企業は期待し難くないけれどそれは甘える」ということは嘘である

仮説: この海外企業はピストンエンジンだがしかしそれは当て付けがましいということはない
1. 事実6と事実9から、推論1: "この海外企業は御供えしない"が導かれる
2. 事実8から、推論2: "仮にこの海外企業が御供えしないとすればピストンエンジンだがしかし当て付けがましかない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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