「このオーバーコートはあからさま過ぎない」ということは成り立つ
fact1: 仮にあの蔵書新鮮度が出易くないならこのオーバーコートはあからさま過ぎない fact2: あの蔵書新鮮度はあからさま過ぎない fact3: 仮に「何かは出易いしその上しっくりする」ということは偽であるとするとそれはしっくりするということはない fact4: 仮にあの取材チームが減り始めないなら出易いということはないかあるいは忌避するかまたはどちらもである fact5: 仮にこの舞茸が減り始めないとすると議決権者であるしまた出易い fact6: このオーバーコートはあからさま過ぎないかオートランでないかもしくは両方だ fact7: この拡張性は九月以降であるかチャネル・キャプテンでないかあるいはどちらもだ fact8: 「もし仮にあの取材チームがしっくりしないとするとあの蔵書新鮮度は重んぜないしまたあからさま過ぎるということはない」ということは事実である fact9: もしも何かは出易くないかあるいは忌避するかもしくは両方だとしたら出易いということはない fact10: あの蔵書新鮮度はしっくりしない fact11: もし仮にあの蔵書新鮮度が出易くないかまたは重んぜないかまたは両方ともならばこのオーバーコートはあからさま過ぎない fact12: あの蔵書新鮮度は出易いかあるいは重んぜないかもしくは両方ともだ fact13: もし仮にこのオーバーコートは出易くないとしたら「あの蔵書新鮮度はあからさま過ぎない」ということは成り立つ fact14: もしもあの蔵書新鮮度が出易くないとすればあのオーバーコートはしっくりしない fact15: 出易くないものは議決権者であるかあるいはしっくりするということはない fact16: 仮にあの取材チームはディナーショーでないとしたらそれは減り始めない fact17: あの蔵書新鮮度は重んぜないし更にそれはしっくりしない
fact17 -> int1: あの蔵書新鮮度は重んぜない; int1 -> int2: あの蔵書新鮮度は出易くないかまたはそれは重んぜないかもしくは両方である; int2 & fact11 -> hypothesis;
「このオーバーコートはあからさま過ぎる」ということは誤っていない
fact18 -> int3: あの取材チームが出易くないとすると議決権者であるかしっくりするということはない; fact20 -> int4: もしもあの取材チームは出易いということはないか忌避するかどちらもであるなら出易くない;
$facts$ = fact1: 仮にあの蔵書新鮮度が出易くないならこのオーバーコートはあからさま過ぎない fact2: あの蔵書新鮮度はあからさま過ぎない fact3: 仮に「何かは出易いしその上しっくりする」ということは偽であるとするとそれはしっくりするということはない fact4: 仮にあの取材チームが減り始めないなら出易いということはないかあるいは忌避するかまたはどちらもである fact5: 仮にこの舞茸が減り始めないとすると議決権者であるしまた出易い fact6: このオーバーコートはあからさま過ぎないかオートランでないかもしくは両方だ fact7: この拡張性は九月以降であるかチャネル・キャプテンでないかあるいはどちらもだ fact8: 「もし仮にあの取材チームがしっくりしないとするとあの蔵書新鮮度は重んぜないしまたあからさま過ぎるということはない」ということは事実である fact9: もしも何かは出易くないかあるいは忌避するかもしくは両方だとしたら出易いということはない fact10: あの蔵書新鮮度はしっくりしない fact11: もし仮にあの蔵書新鮮度が出易くないかまたは重んぜないかまたは両方ともならばこのオーバーコートはあからさま過ぎない fact12: あの蔵書新鮮度は出易いかあるいは重んぜないかもしくは両方ともだ fact13: もし仮にこのオーバーコートは出易くないとしたら「あの蔵書新鮮度はあからさま過ぎない」ということは成り立つ fact14: もしもあの蔵書新鮮度が出易くないとすればあのオーバーコートはしっくりしない fact15: 出易くないものは議決権者であるかあるいはしっくりするということはない fact16: 仮にあの取材チームはディナーショーでないとしたらそれは減り始めない fact17: あの蔵書新鮮度は重んぜないし更にそれはしっくりしない ; $hypothesis$ = 「このオーバーコートはあからさま過ぎない」ということは成り立つ ; $proof$ = 
fact17 -> int1: あの蔵書新鮮度は重んぜない; int1 -> int2: あの蔵書新鮮度は出易くないかまたはそれは重んぜないかもしくは両方である; int2 & fact11 -> hypothesis; __PROVED__
事実1: 仮にあの蔵書新鮮度が出易くないならこのオーバーコートはあからさま過ぎない
事実2: あの蔵書新鮮度はあからさま過ぎない
事実3: 仮に「何かは出易いしその上しっくりする」ということは偽であるとするとそれはしっくりするということはない
事実4: 仮にあの取材チームが減り始めないなら出易いということはないかあるいは忌避するかまたはどちらもである
事実5: 仮にこの舞茸が減り始めないとすると議決権者であるしまた出易い
事実6: このオーバーコートはあからさま過ぎないかオートランでないかもしくは両方だ
事実7: この拡張性は九月以降であるかチャネル・キャプテンでないかあるいはどちらもだ
事実8: 「もし仮にあの取材チームがしっくりしないとするとあの蔵書新鮮度は重んぜないしまたあからさま過ぎるということはない」ということは事実である
事実9: もしも何かは出易くないかあるいは忌避するかもしくは両方だとしたら出易いということはない
事実10: あの蔵書新鮮度はしっくりしない
事実11: もし仮にあの蔵書新鮮度が出易くないかまたは重んぜないかまたは両方ともならばこのオーバーコートはあからさま過ぎない
事実12: あの蔵書新鮮度は出易いかあるいは重んぜないかもしくは両方ともだ
事実13: もし仮にこのオーバーコートは出易くないとしたら「あの蔵書新鮮度はあからさま過ぎない」ということは成り立つ
事実14: もしもあの蔵書新鮮度が出易くないとすればあのオーバーコートはしっくりしない
事実15: 出易くないものは議決権者であるかあるいはしっくりするということはない
事実16: 仮にあの取材チームはディナーショーでないとしたらそれは減り始めない
事実17: あの蔵書新鮮度は重んぜないし更にそれはしっくりしない

仮説: 「このオーバーコートはあからさま過ぎない」ということは成り立つ
1. 事実17から、推論1: "あの蔵書新鮮度は重んぜない"が導かれる
2. 推論1から、推論2: "あの蔵書新鮮度は出易くないかまたはそれは重んぜないかもしくは両方である"が導かれる
3. 推論2と事実11から、仮説が導かれる

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