あの設置状況は草臥れ切らないし加えて貯蓄しない
fact1: その対象自体は狂おしいしさらに小さい fact2: あの設置状況は草臥れ切らない fact3: 「この民主同盟は太り易くない」ということは事実だ fact4: もしも「六．一リッター化な」物があるとすればあの民主同盟は通婚しない一方でそれは狂おしい fact5: もしもなにがしかの物は太り易くないなら「それは草臥れ切らなくてしかも貯蓄するということはない」ということは偽だ fact6: もし仮にあの設置状況が太り易くないならこの民主同盟は貯蓄しないしさらに草臥れ切らない fact7: もしこの民主同盟が太り易くないならあの設置状況は草臥れ切らなくてかつ貯蓄しない fact8: 文学賞である一方で灰褐色であるということはないというものはない fact9: 「あの七Ａは草臥れ切らない」ということは正しい fact10: もしもその粘液側が文学賞であるということはないとすればあの対象自体は六．一リッター化であるしかつ小さい fact11: もし「この籠り屋は文学賞であるがそれは灰褐色でない」ということは誤りならその粘液側は文学賞でない fact12: もし仮にこの民主同盟が太り易いということはないならばあの設置状況は草臥れ切らない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
「あの設置状況は草臥れ切らなくてかつ貯蓄しない」ということは間違いである
fact14 -> int1: もし仮にあの設置状況は太り易くないなら「草臥れ切らなくて貯蓄するということはない」ということは成り立たない; fact13 -> int2: 「この籠り屋は文学賞であるけれどそれは灰褐色でない」ということは成り立たない; fact15 & int2 -> int3: その粘液側は文学賞でない; fact16 & int3 -> int4: その対象自体が六．一リッター化だしその上小さい; int4 -> int5: その対象自体は六．一リッター化だ; int5 -> int6: 「「六．一リッター化な」ものはある」ということは成り立つ; int6 & fact17 -> int7: この民主同盟は通婚しないけどそれは狂おしい; int7 -> int8: なにがしかの物は通婚しない一方で狂おしい;
$facts$ = fact1: その対象自体は狂おしいしさらに小さい fact2: あの設置状況は草臥れ切らない fact3: 「この民主同盟は太り易くない」ということは事実だ fact4: もしも「六．一リッター化な」物があるとすればあの民主同盟は通婚しない一方でそれは狂おしい fact5: もしもなにがしかの物は太り易くないなら「それは草臥れ切らなくてしかも貯蓄するということはない」ということは偽だ fact6: もし仮にあの設置状況が太り易くないならこの民主同盟は貯蓄しないしさらに草臥れ切らない fact7: もしこの民主同盟が太り易くないならあの設置状況は草臥れ切らなくてかつ貯蓄しない fact8: 文学賞である一方で灰褐色であるということはないというものはない fact9: 「あの七Ａは草臥れ切らない」ということは正しい fact10: もしもその粘液側が文学賞であるということはないとすればあの対象自体は六．一リッター化であるしかつ小さい fact11: もし「この籠り屋は文学賞であるがそれは灰褐色でない」ということは誤りならその粘液側は文学賞でない fact12: もし仮にこの民主同盟が太り易いということはないならばあの設置状況は草臥れ切らない ; $hypothesis$ = あの設置状況は草臥れ切らないし加えて貯蓄しない ; $proof$ = 
fact7 & fact3 -> hypothesis; __PROVED__
事実1: その対象自体は狂おしいしさらに小さい
事実2: あの設置状況は草臥れ切らない
事実3: 「この民主同盟は太り易くない」ということは事実だ
事実4: もしも「六．一リッター化な」物があるとすればあの民主同盟は通婚しない一方でそれは狂おしい
事実5: もしもなにがしかの物は太り易くないなら「それは草臥れ切らなくてしかも貯蓄するということはない」ということは偽だ
事実6: もし仮にあの設置状況が太り易くないならこの民主同盟は貯蓄しないしさらに草臥れ切らない
事実7: もしこの民主同盟が太り易くないならあの設置状況は草臥れ切らなくてかつ貯蓄しない
事実8: 文学賞である一方で灰褐色であるということはないというものはない
事実9: 「あの七Ａは草臥れ切らない」ということは正しい
事実10: もしもその粘液側が文学賞であるということはないとすればあの対象自体は六．一リッター化であるしかつ小さい
事実11: もし「この籠り屋は文学賞であるがそれは灰褐色でない」ということは誤りならその粘液側は文学賞でない
事実12: もし仮にこの民主同盟が太り易いということはないならばあの設置状況は草臥れ切らない

仮説: あの設置状況は草臥れ切らないし加えて貯蓄しない
1. 事実7と事実3から、仮説が導かれる

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