このバラードは減縮しない
fact1: あるものが毒々しいとしたら減縮するということはない fact2: 仮にあの口内が入手し易いとするとこのバラードは二年掛かりである fact3: その休暇旅行は減縮する fact4: あの口内は入手し易い fact5: 仮にとあるものが原でないとすればあの科学的合理主義は減縮するかもしくは図太いかまたは両方である fact6: 「もしもこのバラードが毒々しいとするとこのバラードは減縮しない」ということは確かだ fact7: あの障壁層は減縮する fact8: あの口内は原だということはない fact9: もし仮にあの口内が減縮するとしたらこのバラードは減縮する fact10: 仮にあるものが二年掛かりであるかまたはそれが毒々しいとすればそれは減縮しない fact11: 仮にあの口内は毒々しいかもしくは二年掛かりであるかもしくはどちらもだとするとそれは入手し易くない fact12: もしあの口内が二年掛かりだとしたらこのバラードは入手し易い fact13: あの口内はディルビー嬢である fact14: もしあの口内が入手し易いとするとそれは減縮するということはない fact15: もしもその科学的合理主義が図太いならそれは二年掛かりでない
fact2 & fact4 -> int1: このバラードは二年掛かりである; int1 -> int2: このバラードは二年掛かりであるかあるいは毒々しいかあるいはどちらもである; fact10 -> int3: 仮にこのバラードは二年掛かりであるか毒々しいならば減縮しない; int2 & int3 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); fact10 -> int3: ({B}{b} v {C}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
このバラードは減縮する
$facts$ = fact1: あるものが毒々しいとしたら減縮するということはない fact2: 仮にあの口内が入手し易いとするとこのバラードは二年掛かりである fact3: その休暇旅行は減縮する fact4: あの口内は入手し易い fact5: 仮にとあるものが原でないとすればあの科学的合理主義は減縮するかもしくは図太いかまたは両方である fact6: 「もしもこのバラードが毒々しいとするとこのバラードは減縮しない」ということは確かだ fact7: あの障壁層は減縮する fact8: あの口内は原だということはない fact9: もし仮にあの口内が減縮するとしたらこのバラードは減縮する fact10: 仮にあるものが二年掛かりであるかまたはそれが毒々しいとすればそれは減縮しない fact11: 仮にあの口内は毒々しいかもしくは二年掛かりであるかもしくはどちらもだとするとそれは入手し易くない fact12: もしあの口内が二年掛かりだとしたらこのバラードは入手し易い fact13: あの口内はディルビー嬢である fact14: もしあの口内が入手し易いとするとそれは減縮するということはない fact15: もしもその科学的合理主義が図太いならそれは二年掛かりでない ; $hypothesis$ = このバラードは減縮しない ; $proof$ = 
fact2 & fact4 -> int1: このバラードは二年掛かりである; int1 -> int2: このバラードは二年掛かりであるかあるいは毒々しいかあるいはどちらもである; fact10 -> int3: 仮にこのバラードは二年掛かりであるか毒々しいならば減縮しない; int2 & int3 -> hypothesis; __PROVED__
事実1: あるものが毒々しいとしたら減縮するということはない
事実2: 仮にあの口内が入手し易いとするとこのバラードは二年掛かりである
事実3: その休暇旅行は減縮する
事実4: あの口内は入手し易い
事実5: 仮にとあるものが原でないとすればあの科学的合理主義は減縮するかもしくは図太いかまたは両方である
事実6: 「もしもこのバラードが毒々しいとするとこのバラードは減縮しない」ということは確かだ
事実7: あの障壁層は減縮する
事実8: あの口内は原だということはない
事実9: もし仮にあの口内が減縮するとしたらこのバラードは減縮する
事実10: 仮にあるものが二年掛かりであるかまたはそれが毒々しいとすればそれは減縮しない
事実11: 仮にあの口内は毒々しいかもしくは二年掛かりであるかもしくはどちらもだとするとそれは入手し易くない
事実12: もしあの口内が二年掛かりだとしたらこのバラードは入手し易い
事実13: あの口内はディルビー嬢である
事実14: もしあの口内が入手し易いとするとそれは減縮するということはない
事実15: もしもその科学的合理主義が図太いならそれは二年掛かりでない

仮説: このバラードは減縮しない
1. 事実2と事実4から、推論1: "このバラードは二年掛かりである"が導かれる
2. 推論1から、推論2: "このバラードは二年掛かりであるかあるいは毒々しいかあるいはどちらもである"が導かれる
3. 事実10から、推論3: "仮にこのバラードは二年掛かりであるか毒々しいならば減縮しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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