「粉屋であるしかつ甚だし」物はある
fact1: もし何らかのものが言い出し難いということはないなら参与するしさらに御安い fact2: その解糖系は粉屋だ fact3: もしも「「御安いがしかし参与しない」ということは成り立たない」ものがあるとすればあの御開きは御安くない fact4: その解糖系は欲深い fact5: 「甚だし」ものはある fact6: 仮にある物がグローバル・アライアンスでないとしたらそれが粉屋だしそれは甚だし fact7: 「「寝坊するしさらに労働時間中だ」ということは事実な」物はある fact8: なにかは粉屋だ fact9: なんらかの物は発揮し易い fact10: 仮にその解糖系が御安くないならこの疑義はグローバル・アライアンスでない fact11: もしその解糖系が欲深いとすればそれは言い出し難くない fact12: その解糖系は甚だし fact13: 「あの書痴は御安いけど参与しない」ということは偽である
fact2 & fact12 -> int1: その解糖系は粉屋でおまけに甚だし; int1 -> hypothesis;
この疑義は粉屋だ
fact15 -> int2: 「「御安い一方で参与しない」ということは成り立たない」物はある; int2 & fact14 -> int3: あの御開きは御安くない; int3 -> int4: 「御安くない」ものはある;
$facts$ = fact1: もし何らかのものが言い出し難いということはないなら参与するしさらに御安い fact2: その解糖系は粉屋だ fact3: もしも「「御安いがしかし参与しない」ということは成り立たない」ものがあるとすればあの御開きは御安くない fact4: その解糖系は欲深い fact5: 「甚だし」ものはある fact6: 仮にある物がグローバル・アライアンスでないとしたらそれが粉屋だしそれは甚だし fact7: 「「寝坊するしさらに労働時間中だ」ということは事実な」物はある fact8: なにかは粉屋だ fact9: なんらかの物は発揮し易い fact10: 仮にその解糖系が御安くないならこの疑義はグローバル・アライアンスでない fact11: もしその解糖系が欲深いとすればそれは言い出し難くない fact12: その解糖系は甚だし fact13: 「あの書痴は御安いけど参与しない」ということは偽である ; $hypothesis$ = 「粉屋であるしかつ甚だし」物はある ; $proof$ = 
fact2 & fact12 -> int1: その解糖系は粉屋でおまけに甚だし; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものが言い出し難いということはないなら参与するしさらに御安い
事実2: その解糖系は粉屋だ
事実3: もしも「「御安いがしかし参与しない」ということは成り立たない」ものがあるとすればあの御開きは御安くない
事実4: その解糖系は欲深い
事実5: 「甚だし」ものはある
事実6: 仮にある物がグローバル・アライアンスでないとしたらそれが粉屋だしそれは甚だし
事実7: 「「寝坊するしさらに労働時間中だ」ということは事実な」物はある
事実8: なにかは粉屋だ
事実9: なんらかの物は発揮し易い
事実10: 仮にその解糖系が御安くないならこの疑義はグローバル・アライアンスでない
事実11: もしその解糖系が欲深いとすればそれは言い出し難くない
事実12: その解糖系は甚だし
事実13: 「あの書痴は御安いけど参与しない」ということは偽である

仮説: 「粉屋であるしかつ甚だし」物はある
1. 事実2と事実12から、推論1: "その解糖系は粉屋でおまけに甚だし"が導かれる
2. 推論1から、仮説が導かれる

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