「この幼稚舎はブートしない」ということは本当である
fact1: 仮にあのグランドは商談であるということはないとすればそれは留学期間であるということはない fact2: 仮に何かは商談でないとすればそれは住み難くない fact3: もしあのパウンド型が処置しないならばあのグランドは留学期間でない fact4: もし仮にあのパウンド型は疲労し易くないとすれば長続き出来ない fact5: もし何らかのものは民業であるということはないとすると「それは商談であるがしかし処置しない」ということは事実と異なる fact6: 仮にあるものが商談でないとすればそれはブートしない fact7: あのグランドは留学期間でない fact8: その樟脳は流通側でない fact9: もし仮にとあるものは準備万端であるならば「ブートしないしその上民業でない」ということは誤りだ fact10: もしも何らかの物は流通側でないならばそれは準備万端であるしさらに按ずる fact11: 「あのグランドは流通側でないがそれは一目惚れする」ということは真実でない fact12: この事業ドメインは確認し難くないけれど受け入れられ易い fact13: もし仮に「あのグランドはブートしなくて民業だということはない」ということは偽であるとするとあのパウンド型はブートしない fact14: あのパウンド型は処置しない fact15: あのグランドが留学期間だし住み難いならばこの幼稚舎は商談でない fact16: 仮にあのグランドが按ずるということはないとすればそれは準備万端だし部分荷重である fact17: 仮になんらかの物が処置するとすればブートする fact18: もしもあのグランドが留学期間でないけれど住み難いとしたらこの幼稚舎は商談でない fact19: 仮にあのパウンド型が処置するということはないとすればあのグランドは留学期間でない一方でそれは住み難い fact20: 仮にあのパウンド型はブートしないなら「それは処置しないがしかし商談である」ということは成り立たない fact21: 仮に「あのグランドは民業だがしかし部分荷重でない」ということは成り立たないとしたらあのパウンド型は民業でない fact22: もしその樟脳は準備万端だとすると「あのグランドが民業だけどそれは部分荷重でない」ということは偽だ
fact19 & fact14 -> int1: あのグランドは留学期間でない一方でそれは住み難い; int1 & fact18 -> int2: この幼稚舎は商談でない; fact6 -> int3: もし仮にこの幼稚舎は商談でないとするとブートするということはない; int2 & int3 -> hypothesis;
fact19 & fact14 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact18 -> int2: ¬{B}{c}; fact6 -> int3: ¬{B}{c} -> ¬{C}{c}; int2 & int3 -> hypothesis;
この幼稚舎は住み難くない
fact26 -> int4: あのグランドは準備万端であるならば「それはブートしないしそれに民業でない」ということは成り立つということはない;
$facts$ = fact1: 仮にあのグランドは商談であるということはないとすればそれは留学期間であるということはない fact2: 仮に何かは商談でないとすればそれは住み難くない fact3: もしあのパウンド型が処置しないならばあのグランドは留学期間でない fact4: もし仮にあのパウンド型は疲労し易くないとすれば長続き出来ない fact5: もし何らかのものは民業であるということはないとすると「それは商談であるがしかし処置しない」ということは事実と異なる fact6: 仮にあるものが商談でないとすればそれはブートしない fact7: あのグランドは留学期間でない fact8: その樟脳は流通側でない fact9: もし仮にとあるものは準備万端であるならば「ブートしないしその上民業でない」ということは誤りだ fact10: もしも何らかの物は流通側でないならばそれは準備万端であるしさらに按ずる fact11: 「あのグランドは流通側でないがそれは一目惚れする」ということは真実でない fact12: この事業ドメインは確認し難くないけれど受け入れられ易い fact13: もし仮に「あのグランドはブートしなくて民業だということはない」ということは偽であるとするとあのパウンド型はブートしない fact14: あのパウンド型は処置しない fact15: あのグランドが留学期間だし住み難いならばこの幼稚舎は商談でない fact16: 仮にあのグランドが按ずるということはないとすればそれは準備万端だし部分荷重である fact17: 仮になんらかの物が処置するとすればブートする fact18: もしもあのグランドが留学期間でないけれど住み難いとしたらこの幼稚舎は商談でない fact19: 仮にあのパウンド型が処置するということはないとすればあのグランドは留学期間でない一方でそれは住み難い fact20: 仮にあのパウンド型はブートしないなら「それは処置しないがしかし商談である」ということは成り立たない fact21: 仮に「あのグランドは民業だがしかし部分荷重でない」ということは成り立たないとしたらあのパウンド型は民業でない fact22: もしその樟脳は準備万端だとすると「あのグランドが民業だけどそれは部分荷重でない」ということは偽だ ; $hypothesis$ = 「この幼稚舎はブートしない」ということは本当である ; $proof$ = 
fact19 & fact14 -> int1: あのグランドは留学期間でない一方でそれは住み難い; int1 & fact18 -> int2: この幼稚舎は商談でない; fact6 -> int3: もし仮にこの幼稚舎は商談でないとするとブートするということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にあのグランドは商談であるということはないとすればそれは留学期間であるということはない
事実2: 仮に何かは商談でないとすればそれは住み難くない
事実3: もしあのパウンド型が処置しないならばあのグランドは留学期間でない
事実4: もし仮にあのパウンド型は疲労し易くないとすれば長続き出来ない
事実5: もし何らかのものは民業であるということはないとすると「それは商談であるがしかし処置しない」ということは事実と異なる
事実6: 仮にあるものが商談でないとすればそれはブートしない
事実7: あのグランドは留学期間でない
事実8: その樟脳は流通側でない
事実9: もし仮にとあるものは準備万端であるならば「ブートしないしその上民業でない」ということは誤りだ
事実10: もしも何らかの物は流通側でないならばそれは準備万端であるしさらに按ずる
事実11: 「あのグランドは流通側でないがそれは一目惚れする」ということは真実でない
事実12: この事業ドメインは確認し難くないけれど受け入れられ易い
事実13: もし仮に「あのグランドはブートしなくて民業だということはない」ということは偽であるとするとあのパウンド型はブートしない
事実14: あのパウンド型は処置しない
事実15: あのグランドが留学期間だし住み難いならばこの幼稚舎は商談でない
事実16: 仮にあのグランドが按ずるということはないとすればそれは準備万端だし部分荷重である
事実17: 仮になんらかの物が処置するとすればブートする
事実18: もしもあのグランドが留学期間でないけれど住み難いとしたらこの幼稚舎は商談でない
事実19: 仮にあのパウンド型が処置するということはないとすればあのグランドは留学期間でない一方でそれは住み難い
事実20: 仮にあのパウンド型はブートしないなら「それは処置しないがしかし商談である」ということは成り立たない
事実21: 仮に「あのグランドは民業だがしかし部分荷重でない」ということは成り立たないとしたらあのパウンド型は民業でない
事実22: もしその樟脳は準備万端だとすると「あのグランドが民業だけどそれは部分荷重でない」ということは偽だ

仮説: 「この幼稚舎はブートしない」ということは本当である
1. 事実19と事実14から、推論1: "あのグランドは留学期間でない一方でそれは住み難い"が導かれる
2. 推論1と事実18から、推論2: "この幼稚舎は商談でない"が導かれる
3. 事実6から、推論3: "もし仮にこの幼稚舎は商談でないとするとブートするということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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