あの卸売り金額は否認権である
fact1: 「「日本人らしい」物があるとするとそのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方ともだ」ということは成り立つ fact2: 「「日本人らしい」ということは真実な」物はある fact3: もしあの超古代が考え深いとすればそのＭＩＮＩは日本人らしいがしかし同センターだということはない fact4: もし仮にそのＭＩＮＩが眩しくないとしたらそれは貧しないしその上それは凛々しくない fact5: もし仮に貧しないし凛々しくないものはあるなら「そのウェルカムは怖ーくない」ということは事実である fact6: 「あのスタッフ一同は貧しけど眩しくない」ということは成り立つということはない fact7: 日本人らしい物は否認権でないかもしくは人間っぽくないかまたは両方ともである fact8: 怖ーくない物は否認権でないかまたは考え深いということはないかまたはどちらもである fact9: もしもこの網状は凛々しくないとすれば「あの超古代は考え深くてかつ怖ーい」ということは確かだ fact10: もし仮にそのウェルカムが人間っぽいとすればそのＭＩＮＩは考え深くない fact11: もしそのＭＩＮＩが考え深いということはないとすればあの卸売り金額は怖ーい fact12: 仮にそのウェルカムが考え深いかまたは人間っぽいかあるいはどちらもであるとすればそのＭＩＮＩは同センターだということはない fact13: もし仮にそのウェルカムが人間っぽいかもしくはそれが同センターであるかあるいはどちらもだとすればそのＭＩＮＩは考え深くない fact14: もし何かは否認権でないなら同センターだということはない fact15: そのＭＩＮＩが考え深くないならばあの卸売り金額は怖ーいし否認権である fact16: もしも「そのウェルカムは否認権でない」ということは成り立つとするとあの卸売り金額は否認権でない fact17: 「あの卸売り金額は怖ーい」ということは成り立つ fact18: そのＭＩＮＩは人間っぽいかあるいは考え深いか両方ともだ fact19: そのＭＩＮＩは眩しくない
fact2 & fact1 -> int1: そのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方だ; int1 & fact13 -> int2: そのＭＩＮＩは考え深くない; int2 & fact15 -> int3: あの卸売り金額は怖ーいし否認権だ; int3 -> hypothesis;
あの卸売り金額は否認権であるということはない
fact24 -> int4: もしそのＭＩＮＩが日本人らしいとすればそれは否認権でないかまたは人間っぽいということはないかまたは両方ともである; fact22 -> int5: 「「貧しけれど眩しくない」ということは成り立つということはない」物はある;
$facts$ = fact1: 「「日本人らしい」物があるとするとそのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方ともだ」ということは成り立つ fact2: 「「日本人らしい」ということは真実な」物はある fact3: もしあの超古代が考え深いとすればそのＭＩＮＩは日本人らしいがしかし同センターだということはない fact4: もし仮にそのＭＩＮＩが眩しくないとしたらそれは貧しないしその上それは凛々しくない fact5: もし仮に貧しないし凛々しくないものはあるなら「そのウェルカムは怖ーくない」ということは事実である fact6: 「あのスタッフ一同は貧しけど眩しくない」ということは成り立つということはない fact7: 日本人らしい物は否認権でないかもしくは人間っぽくないかまたは両方ともである fact8: 怖ーくない物は否認権でないかまたは考え深いということはないかまたはどちらもである fact9: もしもこの網状は凛々しくないとすれば「あの超古代は考え深くてかつ怖ーい」ということは確かだ fact10: もし仮にそのウェルカムが人間っぽいとすればそのＭＩＮＩは考え深くない fact11: もしそのＭＩＮＩが考え深いということはないとすればあの卸売り金額は怖ーい fact12: 仮にそのウェルカムが考え深いかまたは人間っぽいかあるいはどちらもであるとすればそのＭＩＮＩは同センターだということはない fact13: もし仮にそのウェルカムが人間っぽいかもしくはそれが同センターであるかあるいはどちらもだとすればそのＭＩＮＩは考え深くない fact14: もし何かは否認権でないなら同センターだということはない fact15: そのＭＩＮＩが考え深くないならばあの卸売り金額は怖ーいし否認権である fact16: もしも「そのウェルカムは否認権でない」ということは成り立つとするとあの卸売り金額は否認権でない fact17: 「あの卸売り金額は怖ーい」ということは成り立つ fact18: そのＭＩＮＩは人間っぽいかあるいは考え深いか両方ともだ fact19: そのＭＩＮＩは眩しくない ; $hypothesis$ = あの卸売り金額は否認権である ; $proof$ = 
fact2 & fact1 -> int1: そのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方だ; int1 & fact13 -> int2: そのＭＩＮＩは考え深くない; int2 & fact15 -> int3: あの卸売り金額は怖ーいし否認権だ; int3 -> hypothesis; __PROVED__
事実1: 「「日本人らしい」物があるとするとそのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方ともだ」ということは成り立つ
事実2: 「「日本人らしい」ということは真実な」物はある
事実3: もしあの超古代が考え深いとすればそのＭＩＮＩは日本人らしいがしかし同センターだということはない
事実4: もし仮にそのＭＩＮＩが眩しくないとしたらそれは貧しないしその上それは凛々しくない
事実5: もし仮に貧しないし凛々しくないものはあるなら「そのウェルカムは怖ーくない」ということは事実である
事実6: 「あのスタッフ一同は貧しけど眩しくない」ということは成り立つということはない
事実7: 日本人らしい物は否認権でないかもしくは人間っぽくないかまたは両方ともである
事実8: 怖ーくない物は否認権でないかまたは考え深いということはないかまたはどちらもである
事実9: もしもこの網状は凛々しくないとすれば「あの超古代は考え深くてかつ怖ーい」ということは確かだ
事実10: もし仮にそのウェルカムが人間っぽいとすればそのＭＩＮＩは考え深くない
事実11: もしそのＭＩＮＩが考え深いということはないとすればあの卸売り金額は怖ーい
事実12: 仮にそのウェルカムが考え深いかまたは人間っぽいかあるいはどちらもであるとすればそのＭＩＮＩは同センターだということはない
事実13: もし仮にそのウェルカムが人間っぽいかもしくはそれが同センターであるかあるいはどちらもだとすればそのＭＩＮＩは考え深くない
事実14: もし何かは否認権でないなら同センターだということはない
事実15: そのＭＩＮＩが考え深くないならばあの卸売り金額は怖ーいし否認権である
事実16: もしも「そのウェルカムは否認権でない」ということは成り立つとするとあの卸売り金額は否認権でない
事実17: 「あの卸売り金額は怖ーい」ということは成り立つ
事実18: そのＭＩＮＩは人間っぽいかあるいは考え深いか両方ともだ
事実19: そのＭＩＮＩは眩しくない

仮説: あの卸売り金額は否認権である
1. 事実2と事実1から、推論1: "そのウェルカムは人間っぽいかあるいはそれは同センターであるかあるいは両方だ"が導かれる
2. 推論1と事実13から、推論2: "そのＭＩＮＩは考え深くない"が導かれる
3. 推論2と事実15から、推論3: "あの卸売り金額は怖ーいし否認権だ"が導かれる
4. 推論3から、仮説が導かれる

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