そのエレクトロニクス産業は善がり泣かない
fact1: あの一昨年は涙脆い fact2: もし仮にあの一昨年が善がり泣かないならそれは総料理長でないし待ち遠しくない fact3: あの一昨年が涙脆いとしたらそれは用量である fact4: 「携え帰る」ものはある fact5: 仮に何かは用量であるとすれば総料理長だ fact6: もしもあの一昨年が総料理長だし加えて待ち遠しいとすればそのエレクトロニクス産業は善がり泣くということはない fact7: 仮になにかはタイトルらしいということはないとすればそれは待ち遠しい fact8: もし「「携え帰らない」ということは嘘な」物があるとするとあの一昨年はタイトルらしくない
fact4 & fact8 -> int1: あの一昨年はタイトルらしくない; fact7 -> int2: もしあの一昨年はタイトルらしくないとすると「それは待ち遠しい」ということは本当だ; int1 & int2 -> int3: あの一昨年は待ち遠しい; fact5 -> int4: 仮にあの一昨年が用量だとしたら総料理長である; fact1 & fact3 -> int5: あの一昨年は用量である; int4 & int5 -> int6: あの一昨年は総料理長だ; int3 & int6 -> int7: あの一昨年は総料理長であるし待ち遠しい; int7 & fact6 -> hypothesis;
そのエレクトロニクス産業はタイトルらしい
$facts$ = fact1: あの一昨年は涙脆い fact2: もし仮にあの一昨年が善がり泣かないならそれは総料理長でないし待ち遠しくない fact3: あの一昨年が涙脆いとしたらそれは用量である fact4: 「携え帰る」ものはある fact5: 仮に何かは用量であるとすれば総料理長だ fact6: もしもあの一昨年が総料理長だし加えて待ち遠しいとすればそのエレクトロニクス産業は善がり泣くということはない fact7: 仮になにかはタイトルらしいということはないとすればそれは待ち遠しい fact8: もし「「携え帰らない」ということは嘘な」物があるとするとあの一昨年はタイトルらしくない ; $hypothesis$ = そのエレクトロニクス産業は善がり泣かない ; $proof$ = 
fact4 & fact8 -> int1: あの一昨年はタイトルらしくない; fact7 -> int2: もしあの一昨年はタイトルらしくないとすると「それは待ち遠しい」ということは本当だ; int1 & int2 -> int3: あの一昨年は待ち遠しい; fact5 -> int4: 仮にあの一昨年が用量だとしたら総料理長である; fact1 & fact3 -> int5: あの一昨年は用量である; int4 & int5 -> int6: あの一昨年は総料理長だ; int3 & int6 -> int7: あの一昨年は総料理長であるし待ち遠しい; int7 & fact6 -> hypothesis; __PROVED__
事実1: あの一昨年は涙脆い
事実2: もし仮にあの一昨年が善がり泣かないならそれは総料理長でないし待ち遠しくない
事実3: あの一昨年が涙脆いとしたらそれは用量である
事実4: 「携え帰る」ものはある
事実5: 仮に何かは用量であるとすれば総料理長だ
事実6: もしもあの一昨年が総料理長だし加えて待ち遠しいとすればそのエレクトロニクス産業は善がり泣くということはない
事実7: 仮になにかはタイトルらしいということはないとすればそれは待ち遠しい
事実8: もし「「携え帰らない」ということは嘘な」物があるとするとあの一昨年はタイトルらしくない

仮説: そのエレクトロニクス産業は善がり泣かない
1. 事実4と事実8から、推論1: "あの一昨年はタイトルらしくない"が導かれる
2. 事実7から、推論2: "もしあの一昨年はタイトルらしくないとすると「それは待ち遠しい」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "あの一昨年は待ち遠しい"が導かれる
4. 事実5から、推論4: "仮にあの一昨年が用量だとしたら総料理長である"が導かれる
5. 事実1と事実3から、推論5: "あの一昨年は用量である"が導かれる
6. 推論4と推論5から、推論6: "あの一昨年は総料理長だ"が導かれる
7. 推論3と推論6から、推論7: "あの一昨年は総料理長であるし待ち遠しい"が導かれる
8. 推論7と事実6から、仮説が導かれる

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