その雇用者報酬は充填するし言わす
fact1: 仮に「あの基盤作りは心配毎だがしかし言わさない」ということは間違っているとしたらその雇用者報酬は充填する fact2: その自動車レースは心配毎だ fact3: 「その自動車レースは言わす」ということは事実だ fact4: もし仮に「その雇用者報酬は言わすがしかしそれは口惜しいということはない」ということは間違っているとすればあの基盤作りは心配毎である fact5: 仮にその自動車レースが言わすならその雇用者報酬は言わす fact6: その自動車レースは口惜しい fact7: 仮に「あの基盤作りは心配毎だけれど口惜しくない」ということは成り立たないならば「その雇用者報酬は充填する」ということは本当だ fact8: あの消化管穿孔は心配毎である fact9: もしあの基盤作りが充填しないならばその雇用者報酬は心配毎だ fact10: もしあの基盤作りが充填すればその雇用者報酬は充填する fact11: もしもその雇用者報酬が心配毎でないとするとあの基盤作りは充填する fact12: もしも「あの基盤作りは口惜しいが充填しない」ということは成り立つということはないとしたらその雇用者報酬は言わす fact13: 「「あの基盤作りは心配毎であるが口惜しくない」ということは真実である」ということは真実でない
fact7 & fact13 -> int1: その雇用者報酬は充填する; fact3 & fact5 -> int2: その雇用者報酬は言わす; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に「あの基盤作りは心配毎だがしかし言わさない」ということは間違っているとしたらその雇用者報酬は充填する fact2: その自動車レースは心配毎だ fact3: 「その自動車レースは言わす」ということは事実だ fact4: もし仮に「その雇用者報酬は言わすがしかしそれは口惜しいということはない」ということは間違っているとすればあの基盤作りは心配毎である fact5: 仮にその自動車レースが言わすならその雇用者報酬は言わす fact6: その自動車レースは口惜しい fact7: 仮に「あの基盤作りは心配毎だけれど口惜しくない」ということは成り立たないならば「その雇用者報酬は充填する」ということは本当だ fact8: あの消化管穿孔は心配毎である fact9: もしあの基盤作りが充填しないならばその雇用者報酬は心配毎だ fact10: もしあの基盤作りが充填すればその雇用者報酬は充填する fact11: もしもその雇用者報酬が心配毎でないとするとあの基盤作りは充填する fact12: もしも「あの基盤作りは口惜しいが充填しない」ということは成り立つということはないとしたらその雇用者報酬は言わす fact13: 「「あの基盤作りは心配毎であるが口惜しくない」ということは真実である」ということは真実でない ; $hypothesis$ = その雇用者報酬は充填するし言わす ; $proof$ = 
fact7 & fact13 -> int1: その雇用者報酬は充填する; fact3 & fact5 -> int2: その雇用者報酬は言わす; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「あの基盤作りは心配毎だがしかし言わさない」ということは間違っているとしたらその雇用者報酬は充填する
事実2: その自動車レースは心配毎だ
事実3: 「その自動車レースは言わす」ということは事実だ
事実4: もし仮に「その雇用者報酬は言わすがしかしそれは口惜しいということはない」ということは間違っているとすればあの基盤作りは心配毎である
事実5: 仮にその自動車レースが言わすならその雇用者報酬は言わす
事実6: その自動車レースは口惜しい
事実7: 仮に「あの基盤作りは心配毎だけれど口惜しくない」ということは成り立たないならば「その雇用者報酬は充填する」ということは本当だ
事実8: あの消化管穿孔は心配毎である
事実9: もしあの基盤作りが充填しないならばその雇用者報酬は心配毎だ
事実10: もしあの基盤作りが充填すればその雇用者報酬は充填する
事実11: もしもその雇用者報酬が心配毎でないとするとあの基盤作りは充填する
事実12: もしも「あの基盤作りは口惜しいが充填しない」ということは成り立つということはないとしたらその雇用者報酬は言わす
事実13: 「「あの基盤作りは心配毎であるが口惜しくない」ということは真実である」ということは真実でない

仮説: その雇用者報酬は充填するし言わす
1. 事実7と事実13から、推論1: "その雇用者報酬は充填する"が導かれる
2. 事実3と事実5から、推論2: "その雇用者報酬は言わす"が導かれる
3. 推論1と推論2から、仮説が導かれる

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