あの所有構造は調査項目であるがしかし陸上であるということはない
fact1: もし「とある物は減弱しないかあるいは専有しないかまたは両方である」ということは成り立つということはないとすると芽摘みしない fact2: もしも「なんらかのものは専有する」ということは本当であるとすれば胡椒する fact3: 何らかのものが専有しないとしたらそれは芽摘みするし減弱する fact4: 「流布する」物はある fact5: ある物は流布しないとしたら「「それは消え入るけれど守護神でない」ということは成り立つ」ということは確かでない fact6: そのＡランクは出来易いとしたら「あの子蟹は調査項目でないかもしくは陸上でないかもしくは両方だ」ということは成り立たない fact7: 「あの子蟹は芽摘みするがしかし減弱しない」ということは間違いならばそのＡランクは専有する fact8: そのＡランクは消え入らない fact9: 仮にこの二百冊が陸上でないならあの所有構造は調査項目だ一方で陸上でない fact10: もし仮にとあるものが流布するならあのエクスポートは素人目である fact11: 仮に「減弱しないかもしくは専有するかあるいは両方な」物があるとするとあの子蟹は減弱しない fact12: もしも「あの子蟹は調査項目だということはないかあるいは陸上でないかあるいは両方ともである」ということは真実でないとすれば生白くない fact13: もしも「芽摘みする」物があるとするとこの二百冊は芽摘みするかまたは素人目だ fact14: もしもあのエクスポートが募るということはないとしたらそれは流布する fact15: もしもなんらかの物が消え入らないとすれば生白いししかも出来易い fact16: 「この二百冊は胡椒する」ということは成り立つ fact17: 「そのＡランクは出来易い」ということは本当である fact18: 生白くないものは専有するしおまけに胡椒する fact19: 仮に「あの子蟹は素人目でなくて陸上であるということはない」ということは事実と異なるとするとあのエクスポートは陸上である fact20: 「減弱しないかあるいは専有するかもしくはどちらもである」物はある fact21: もしそのＡランクは芽摘みするとすると「あの子蟹は生白くて減弱する」ということは偽だ fact22: 「あの子蟹が専有するしその上胡椒すればあのエクスポートは専有しない」ということは成り立つ fact23: もし仮になんらかのものは流布すれば「それは素人目でなくてその上陸上でない」ということは成り立たない fact24: もし仮にあのエクスポートは素人目であるとすれば「あの子蟹は芽摘みするが減弱しない」ということは誤りである fact25: もしあの子蟹が減弱すればそのＡランクは専有する fact26: もしなにかは芽摘みするか素人目であるかもしくは両方だとするとそれは流布しない fact27: 生白いものが胡椒するならこの二百冊は陸上でない fact28: あのエクスポートが芽摘みするとしたらあの子蟹は素人目である
fact4 & fact10 -> int1: あのエクスポートは素人目だ; int1 & fact24 -> int2: 「あの子蟹は芽摘みするがそれは減弱しない」ということは間違いだ; int2 & fact7 -> int3: そのＡランクは専有する; fact2 -> int4: そのＡランクが専有するとすればそれは胡椒する; int3 & int4 -> int5: そのＡランクは胡椒する; fact15 -> int6: もしもそのＡランクが消え入るということはないなら生白くてさらにそれは出来易い; fact8 & int6 -> int7: そのＡランクは生白いし加えてそれは出来易い; int7 -> int8: そのＡランクは生白い; int5 & int8 -> int9: そのＡランクは生白いし加えて胡椒する; int9 -> int10: ある物は生白くて加えて胡椒する; int10 & fact27 -> int11: この二百冊は陸上でない; int11 & fact9 -> hypothesis;
「あの所有構造は調査項目であるが陸上でない」ということは成り立たない
fact30 -> int12: もし仮にあの子蟹は流布するとすると「それは素人目でなくて陸上でない」ということは嘘である; fact31 & fact29 -> int13: あの子蟹は減弱するということはない;
$facts$ = fact1: もし「とある物は減弱しないかあるいは専有しないかまたは両方である」ということは成り立つということはないとすると芽摘みしない fact2: もしも「なんらかのものは専有する」ということは本当であるとすれば胡椒する fact3: 何らかのものが専有しないとしたらそれは芽摘みするし減弱する fact4: 「流布する」物はある fact5: ある物は流布しないとしたら「「それは消え入るけれど守護神でない」ということは成り立つ」ということは確かでない fact6: そのＡランクは出来易いとしたら「あの子蟹は調査項目でないかもしくは陸上でないかもしくは両方だ」ということは成り立たない fact7: 「あの子蟹は芽摘みするがしかし減弱しない」ということは間違いならばそのＡランクは専有する fact8: そのＡランクは消え入らない fact9: 仮にこの二百冊が陸上でないならあの所有構造は調査項目だ一方で陸上でない fact10: もし仮にとあるものが流布するならあのエクスポートは素人目である fact11: 仮に「減弱しないかもしくは専有するかあるいは両方な」物があるとするとあの子蟹は減弱しない fact12: もしも「あの子蟹は調査項目だということはないかあるいは陸上でないかあるいは両方ともである」ということは真実でないとすれば生白くない fact13: もしも「芽摘みする」物があるとするとこの二百冊は芽摘みするかまたは素人目だ fact14: もしもあのエクスポートが募るということはないとしたらそれは流布する fact15: もしもなんらかの物が消え入らないとすれば生白いししかも出来易い fact16: 「この二百冊は胡椒する」ということは成り立つ fact17: 「そのＡランクは出来易い」ということは本当である fact18: 生白くないものは専有するしおまけに胡椒する fact19: 仮に「あの子蟹は素人目でなくて陸上であるということはない」ということは事実と異なるとするとあのエクスポートは陸上である fact20: 「減弱しないかあるいは専有するかもしくはどちらもである」物はある fact21: もしそのＡランクは芽摘みするとすると「あの子蟹は生白くて減弱する」ということは偽だ fact22: 「あの子蟹が専有するしその上胡椒すればあのエクスポートは専有しない」ということは成り立つ fact23: もし仮になんらかのものは流布すれば「それは素人目でなくてその上陸上でない」ということは成り立たない fact24: もし仮にあのエクスポートは素人目であるとすれば「あの子蟹は芽摘みするが減弱しない」ということは誤りである fact25: もしあの子蟹が減弱すればそのＡランクは専有する fact26: もしなにかは芽摘みするか素人目であるかもしくは両方だとするとそれは流布しない fact27: 生白いものが胡椒するならこの二百冊は陸上でない fact28: あのエクスポートが芽摘みするとしたらあの子蟹は素人目である ; $hypothesis$ = あの所有構造は調査項目であるがしかし陸上であるということはない ; $proof$ = 
fact4 & fact10 -> int1: あのエクスポートは素人目だ; int1 & fact24 -> int2: 「あの子蟹は芽摘みするがそれは減弱しない」ということは間違いだ; int2 & fact7 -> int3: そのＡランクは専有する; fact2 -> int4: そのＡランクが専有するとすればそれは胡椒する; int3 & int4 -> int5: そのＡランクは胡椒する; fact15 -> int6: もしもそのＡランクが消え入るということはないなら生白くてさらにそれは出来易い; fact8 & int6 -> int7: そのＡランクは生白いし加えてそれは出来易い; int7 -> int8: そのＡランクは生白い; int5 & int8 -> int9: そのＡランクは生白いし加えて胡椒する; int9 -> int10: ある物は生白くて加えて胡椒する; int10 & fact27 -> int11: この二百冊は陸上でない; int11 & fact9 -> hypothesis; __PROVED__
事実1: もし「とある物は減弱しないかあるいは専有しないかまたは両方である」ということは成り立つということはないとすると芽摘みしない
事実2: もしも「なんらかのものは専有する」ということは本当であるとすれば胡椒する
事実3: 何らかのものが専有しないとしたらそれは芽摘みするし減弱する
事実4: 「流布する」物はある
事実5: ある物は流布しないとしたら「「それは消え入るけれど守護神でない」ということは成り立つ」ということは確かでない
事実6: そのＡランクは出来易いとしたら「あの子蟹は調査項目でないかもしくは陸上でないかもしくは両方だ」ということは成り立たない
事実7: 「あの子蟹は芽摘みするがしかし減弱しない」ということは間違いならばそのＡランクは専有する
事実8: そのＡランクは消え入らない
事実9: 仮にこの二百冊が陸上でないならあの所有構造は調査項目だ一方で陸上でない
事実10: もし仮にとあるものが流布するならあのエクスポートは素人目である
事実11: 仮に「減弱しないかもしくは専有するかあるいは両方な」物があるとするとあの子蟹は減弱しない
事実12: もしも「あの子蟹は調査項目だということはないかあるいは陸上でないかあるいは両方ともである」ということは真実でないとすれば生白くない
事実13: もしも「芽摘みする」物があるとするとこの二百冊は芽摘みするかまたは素人目だ
事実14: もしもあのエクスポートが募るということはないとしたらそれは流布する
事実15: もしもなんらかの物が消え入らないとすれば生白いししかも出来易い
事実16: 「この二百冊は胡椒する」ということは成り立つ
事実17: 「そのＡランクは出来易い」ということは本当である
事実18: 生白くないものは専有するしおまけに胡椒する
事実19: 仮に「あの子蟹は素人目でなくて陸上であるということはない」ということは事実と異なるとするとあのエクスポートは陸上である
事実20: 「減弱しないかあるいは専有するかもしくはどちらもである」物はある
事実21: もしそのＡランクは芽摘みするとすると「あの子蟹は生白くて減弱する」ということは偽だ
事実22: 「あの子蟹が専有するしその上胡椒すればあのエクスポートは専有しない」ということは成り立つ
事実23: もし仮になんらかのものは流布すれば「それは素人目でなくてその上陸上でない」ということは成り立たない
事実24: もし仮にあのエクスポートは素人目であるとすれば「あの子蟹は芽摘みするが減弱しない」ということは誤りである
事実25: もしあの子蟹が減弱すればそのＡランクは専有する
事実26: もしなにかは芽摘みするか素人目であるかもしくは両方だとするとそれは流布しない
事実27: 生白いものが胡椒するならこの二百冊は陸上でない
事実28: あのエクスポートが芽摘みするとしたらあの子蟹は素人目である

仮説: あの所有構造は調査項目であるがしかし陸上であるということはない
1. 事実4と事実10から、推論1: "あのエクスポートは素人目だ"が導かれる
2. 推論1と事実24から、推論2: "「あの子蟹は芽摘みするがそれは減弱しない」ということは間違いだ"が導かれる
3. 推論2と事実7から、推論3: "そのＡランクは専有する"が導かれる
4. 事実2から、推論4: "そのＡランクが専有するとすればそれは胡椒する"が導かれる
5. 推論3と推論4から、推論5: "そのＡランクは胡椒する"が導かれる
6. 事実15から、推論6: "もしもそのＡランクが消え入るということはないなら生白くてさらにそれは出来易い"が導かれる
7. 事実8と推論6から、推論7: "そのＡランクは生白いし加えてそれは出来易い"が導かれる
8. 推論7から、推論8: "そのＡランクは生白い"が導かれる
9. 推論5と推論8から、推論9: "そのＡランクは生白いし加えて胡椒する"が導かれる
10. 推論9から、推論10: "ある物は生白くて加えて胡椒する"が導かれる
11. 推論10と事実27から、推論11: "この二百冊は陸上でない"が導かれる
12. 推論11と事実9から、仮説が導かれる

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