この青紫は大手スーパーでしかもレザーだ
fact1: もし仮になんらかの物がレザーであるなら受け入れ難いかもしくはそれは大手スーパーでない fact2: この上級民が登場し始めないとするとこの三角地帯は形作るし加えて発生し易い fact3: もしこの上級民は形作らないならば「この記憶・学習は受け入れ難い」ということは正しい fact4: 「この三角地帯は如何わしいが生み易くない」ということは成り立たない fact5: もし仮に「「言上しないかあるいは男っぽいかもしくは両方である」ということは成り立たない」ものがあるならこの上級民は受け入れ難くない fact6: この青紫はレザーだ fact7: 仮にこの記憶・学習が受け入れ難いとしたらこの青紫は大手スーパーである fact8: 仮にこの記憶・学習はちかちかしないとしたら「それは言上するけど男っぽくない」ということは嘘だ fact9: もしもこの三角地帯は形作らないとしたら「この青紫は大手スーパーであるししかもレザーである」ということは間違っている fact10: もしもこの三角地帯が発生し易くないとしたらこの上級民は発生し易いかそれは登場し始めるということはないかまたは両方だ fact11: もし仮に「この三角地帯は如何わしいけれど生み易くない」ということは誤りならば発生し易くない fact12: 仮になんらかの物は形作れば「論考するけれどサポート出来るということはない」ということは成り立たない fact13: この記憶・学習はちかちかするということはない fact14: 仮になんらかのものが受け入れ難いかもしくはそれは大手スーパーでないとすると登場し始めない fact15: もしもなにがしかの物は発生し易いかまたは登場し始めるということはないとするとそれは形作らない
fact11 & fact4 -> int1: この三角地帯は発生し易いということはない; int1 & fact10 -> int2: この上級民は発生し易いか登場し始めるということはないかあるいは両方だ; fact15 -> int3: 仮に「この上級民は発生し易いかそれは登場し始めない」ということは間違いでないなら「それは形作らない」ということは確かである; int2 & int3 -> int4: この上級民は形作らない; int4 & fact3 -> int5: この記憶・学習は受け入れ難い; int5 & fact7 -> int6: この青紫は大手スーパーだ; int6 & fact6 -> hypothesis;
「この青紫は大手スーパーだししかもレザーである」ということは成り立たない
$facts$ = fact1: もし仮になんらかの物がレザーであるなら受け入れ難いかもしくはそれは大手スーパーでない fact2: この上級民が登場し始めないとするとこの三角地帯は形作るし加えて発生し易い fact3: もしこの上級民は形作らないならば「この記憶・学習は受け入れ難い」ということは正しい fact4: 「この三角地帯は如何わしいが生み易くない」ということは成り立たない fact5: もし仮に「「言上しないかあるいは男っぽいかもしくは両方である」ということは成り立たない」ものがあるならこの上級民は受け入れ難くない fact6: この青紫はレザーだ fact7: 仮にこの記憶・学習が受け入れ難いとしたらこの青紫は大手スーパーである fact8: 仮にこの記憶・学習はちかちかしないとしたら「それは言上するけど男っぽくない」ということは嘘だ fact9: もしもこの三角地帯は形作らないとしたら「この青紫は大手スーパーであるししかもレザーである」ということは間違っている fact10: もしもこの三角地帯が発生し易くないとしたらこの上級民は発生し易いかそれは登場し始めるということはないかまたは両方だ fact11: もし仮に「この三角地帯は如何わしいけれど生み易くない」ということは誤りならば発生し易くない fact12: 仮になんらかの物は形作れば「論考するけれどサポート出来るということはない」ということは成り立たない fact13: この記憶・学習はちかちかするということはない fact14: 仮になんらかのものが受け入れ難いかもしくはそれは大手スーパーでないとすると登場し始めない fact15: もしもなにがしかの物は発生し易いかまたは登場し始めるということはないとするとそれは形作らない ; $hypothesis$ = この青紫は大手スーパーでしかもレザーだ ; $proof$ = 
fact11 & fact4 -> int1: この三角地帯は発生し易いということはない; int1 & fact10 -> int2: この上級民は発生し易いか登場し始めるということはないかあるいは両方だ; fact15 -> int3: 仮に「この上級民は発生し易いかそれは登場し始めない」ということは間違いでないなら「それは形作らない」ということは確かである; int2 & int3 -> int4: この上級民は形作らない; int4 & fact3 -> int5: この記憶・学習は受け入れ難い; int5 & fact7 -> int6: この青紫は大手スーパーだ; int6 & fact6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物がレザーであるなら受け入れ難いかもしくはそれは大手スーパーでない
事実2: この上級民が登場し始めないとするとこの三角地帯は形作るし加えて発生し易い
事実3: もしこの上級民は形作らないならば「この記憶・学習は受け入れ難い」ということは正しい
事実4: 「この三角地帯は如何わしいが生み易くない」ということは成り立たない
事実5: もし仮に「「言上しないかあるいは男っぽいかもしくは両方である」ということは成り立たない」ものがあるならこの上級民は受け入れ難くない
事実6: この青紫はレザーだ
事実7: 仮にこの記憶・学習が受け入れ難いとしたらこの青紫は大手スーパーである
事実8: 仮にこの記憶・学習はちかちかしないとしたら「それは言上するけど男っぽくない」ということは嘘だ
事実9: もしもこの三角地帯は形作らないとしたら「この青紫は大手スーパーであるししかもレザーである」ということは間違っている
事実10: もしもこの三角地帯が発生し易くないとしたらこの上級民は発生し易いかそれは登場し始めるということはないかまたは両方だ
事実11: もし仮に「この三角地帯は如何わしいけれど生み易くない」ということは誤りならば発生し易くない
事実12: 仮になんらかの物は形作れば「論考するけれどサポート出来るということはない」ということは成り立たない
事実13: この記憶・学習はちかちかするということはない
事実14: 仮になんらかのものが受け入れ難いかもしくはそれは大手スーパーでないとすると登場し始めない
事実15: もしもなにがしかの物は発生し易いかまたは登場し始めるということはないとするとそれは形作らない

仮説: この青紫は大手スーパーでしかもレザーだ
1. 事実11と事実4から、推論1: "この三角地帯は発生し易いということはない"が導かれる
2. 推論1と事実10から、推論2: "この上級民は発生し易いか登場し始めるということはないかあるいは両方だ"が導かれる
3. 事実15から、推論3: "仮に「この上級民は発生し易いかそれは登場し始めない」ということは間違いでないなら「それは形作らない」ということは確かである"が導かれる
4. 推論2と推論3から、推論4: "この上級民は形作らない"が導かれる
5. 推論4と事実3から、推論5: "この記憶・学習は受け入れ難い"が導かれる
6. 推論5と事実7から、推論6: "この青紫は大手スーパーだ"が導かれる
7. 推論6と事実6から、仮説が導かれる

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