物欲しいししかもすばしこい物はある
fact1: もし見辛いものが申し訳無いとしたらそれは甚だしくない fact2: あの飾り部分は申し訳無い fact3: あの煕宗はすばしこくてかつそれは腹立たしい fact4: なんらかのものは普及し始めないし加えて発現し易くないならそれは物欲しい fact5: 仮にあの煕宗がすばしこいならばあの飾り部分はすばしこい fact6: もしもなにかは普及し始めないけどそれが発現し易いとすれば物欲しい fact7: もしもあの飾り部分が甚だしくないとすれば普及し始めないしかつ発現し易いということはない fact8: あの飾り部分は見辛い
fact8 & fact2 -> int1: あの飾り部分は見辛くておまけに申し訳無い; fact1 -> int2: 仮にあの飾り部分は見辛くておまけに申し訳無いとすると甚だしいということはない; int1 & int2 -> int3: あの飾り部分は甚だしくない; int3 & fact7 -> int4: あの飾り部分は普及し始めないしそれに発現し易いということはない; fact4 -> int5: もし仮に「あの飾り部分は普及し始めないしさらに発現し易くない」ということは成り立てばそれは物欲しい; int4 & int5 -> int6: あの飾り部分は物欲しい; fact3 -> int7: あの煕宗はすばしこい; fact5 & int7 -> int8: あの飾り部分はすばしこい; int6 & int8 -> int9: あの飾り部分は物欲しいし加えてすばしこい; int9 -> hypothesis;
$facts$ = fact1: もし見辛いものが申し訳無いとしたらそれは甚だしくない fact2: あの飾り部分は申し訳無い fact3: あの煕宗はすばしこくてかつそれは腹立たしい fact4: なんらかのものは普及し始めないし加えて発現し易くないならそれは物欲しい fact5: 仮にあの煕宗がすばしこいならばあの飾り部分はすばしこい fact6: もしもなにかは普及し始めないけどそれが発現し易いとすれば物欲しい fact7: もしもあの飾り部分が甚だしくないとすれば普及し始めないしかつ発現し易いということはない fact8: あの飾り部分は見辛い ; $hypothesis$ = 物欲しいししかもすばしこい物はある ; $proof$ = 
fact8 & fact2 -> int1: あの飾り部分は見辛くておまけに申し訳無い; fact1 -> int2: 仮にあの飾り部分は見辛くておまけに申し訳無いとすると甚だしいということはない; int1 & int2 -> int3: あの飾り部分は甚だしくない; int3 & fact7 -> int4: あの飾り部分は普及し始めないしそれに発現し易いということはない; fact4 -> int5: もし仮に「あの飾り部分は普及し始めないしさらに発現し易くない」ということは成り立てばそれは物欲しい; int4 & int5 -> int6: あの飾り部分は物欲しい; fact3 -> int7: あの煕宗はすばしこい; fact5 & int7 -> int8: あの飾り部分はすばしこい; int6 & int8 -> int9: あの飾り部分は物欲しいし加えてすばしこい; int9 -> hypothesis; __PROVED__
事実1: もし見辛いものが申し訳無いとしたらそれは甚だしくない
事実2: あの飾り部分は申し訳無い
事実3: あの煕宗はすばしこくてかつそれは腹立たしい
事実4: なんらかのものは普及し始めないし加えて発現し易くないならそれは物欲しい
事実5: 仮にあの煕宗がすばしこいならばあの飾り部分はすばしこい
事実6: もしもなにかは普及し始めないけどそれが発現し易いとすれば物欲しい
事実7: もしもあの飾り部分が甚だしくないとすれば普及し始めないしかつ発現し易いということはない
事実8: あの飾り部分は見辛い

仮説: 物欲しいししかもすばしこい物はある
1. 事実8と事実2から、推論1: "あの飾り部分は見辛くておまけに申し訳無い"が導かれる
2. 事実1から、推論2: "仮にあの飾り部分は見辛くておまけに申し訳無いとすると甚だしいということはない"が導かれる
3. 推論1と推論2から、推論3: "あの飾り部分は甚だしくない"が導かれる
4. 推論3と事実7から、推論4: "あの飾り部分は普及し始めないしそれに発現し易いということはない"が導かれる
5. 事実4から、推論5: "もし仮に「あの飾り部分は普及し始めないしさらに発現し易くない」ということは成り立てばそれは物欲しい"が導かれる
6. 推論4と推論5から、推論6: "あの飾り部分は物欲しい"が導かれる
7. 事実3から、推論7: "あの煕宗はすばしこい"が導かれる
8. 事実5と推論7から、推論8: "あの飾り部分はすばしこい"が導かれる
9. 推論6と推論8から、推論9: "あの飾り部分は物欲しいし加えてすばしこい"が導かれる
10. 推論9から、仮説が導かれる

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