この透水性芝生舗装は珠玉様でない
fact1: もし「この牛皮は強盗するししかもそれは目立ちたがり屋である」ということは嘘だとするとこの透水性芝生舗装は珠玉様でない fact2: この小屋組は引き裂くしまた耐え続ける fact3: この小屋組は引き裂く fact4: 仮にこの牛皮はリストアップしないとすると「強盗するし更に目立ちたがり屋だ」ということは誤りだ fact5: 「その人影は鄧公橋であるがしかし輝かしくない」ということは成り立たない fact6: この小屋組は撃破出来るし更に浮かれ騒げばそれは泊り歩く fact7: 仮にこの小屋組が撃破出来るということはないけれどそれが浮かれ騒ぐとしたら泊り歩く fact8: 仮に「この牛皮は目立ちたがり屋でない」ということは事実であるとすればこの透水性芝生舗装は珠玉様でない fact9: この小屋組は撃破出来るということはないけど浮かれ騒ぐ fact10: もし仮にあるものがリストアップするということはないならそれは泊り歩かないがしかし耐え続ける fact11: もしもその人影が引き裂かないならこの横力は強盗するし目立ちたがり屋だ fact12: ある物は鄧公橋でないとすれば「「浮かれ騒ぐしさらに冷え易い」ということは間違っていない」ということは嘘だ fact13: もし仮にこの小屋組が泊り歩くしかつ耐え続けるとすればこの牛皮はリストアップするということはない fact14: この小屋組は撃破出来ない fact15: 「強盗する」物はあれば「「この牛皮は強盗しない一方でリストアップする」ということは成り立たない」ということは真実である fact16: もし仮に「「その人影は鄧公橋だがしかし輝かしくない」ということは成り立つということはない」ということは成り立つとすればそれは引き裂かない
fact7 & fact9 -> int1: この小屋組は泊り歩く; fact2 -> int2: この小屋組は耐え続ける; int1 & int2 -> int3: この小屋組は泊り歩くししかも耐え続ける; int3 & fact13 -> int4: この牛皮はリストアップするということはない; int4 & fact4 -> int5: 「この牛皮は強盗するしまた目立ちたがり屋だ」ということは偽である; int5 & fact1 -> hypothesis;
この透水性芝生舗装は珠玉様だ
fact18 -> int6: この小屋組がリストアップしないならば泊り歩くということはないけど耐え続ける; fact21 & fact20 -> int7: その人影は引き裂かない; fact19 & int7 -> int8: この横力は強盗するしそれに目立ちたがり屋である; int8 -> int9: 「この横力は強盗する」ということは正しい; int9 -> int10: 「「強盗する」物はある」ということは成り立つ; int10 & fact17 -> int11: 「この牛皮は強盗しないけどリストアップする」ということは偽である;
$facts$ = fact1: もし「この牛皮は強盗するししかもそれは目立ちたがり屋である」ということは嘘だとするとこの透水性芝生舗装は珠玉様でない fact2: この小屋組は引き裂くしまた耐え続ける fact3: この小屋組は引き裂く fact4: 仮にこの牛皮はリストアップしないとすると「強盗するし更に目立ちたがり屋だ」ということは誤りだ fact5: 「その人影は鄧公橋であるがしかし輝かしくない」ということは成り立たない fact6: この小屋組は撃破出来るし更に浮かれ騒げばそれは泊り歩く fact7: 仮にこの小屋組が撃破出来るということはないけれどそれが浮かれ騒ぐとしたら泊り歩く fact8: 仮に「この牛皮は目立ちたがり屋でない」ということは事実であるとすればこの透水性芝生舗装は珠玉様でない fact9: この小屋組は撃破出来るということはないけど浮かれ騒ぐ fact10: もし仮にあるものがリストアップするということはないならそれは泊り歩かないがしかし耐え続ける fact11: もしもその人影が引き裂かないならこの横力は強盗するし目立ちたがり屋だ fact12: ある物は鄧公橋でないとすれば「「浮かれ騒ぐしさらに冷え易い」ということは間違っていない」ということは嘘だ fact13: もし仮にこの小屋組が泊り歩くしかつ耐え続けるとすればこの牛皮はリストアップするということはない fact14: この小屋組は撃破出来ない fact15: 「強盗する」物はあれば「「この牛皮は強盗しない一方でリストアップする」ということは成り立たない」ということは真実である fact16: もし仮に「「その人影は鄧公橋だがしかし輝かしくない」ということは成り立つということはない」ということは成り立つとすればそれは引き裂かない ; $hypothesis$ = この透水性芝生舗装は珠玉様でない ; $proof$ = 
fact7 & fact9 -> int1: この小屋組は泊り歩く; fact2 -> int2: この小屋組は耐え続ける; int1 & int2 -> int3: この小屋組は泊り歩くししかも耐え続ける; int3 & fact13 -> int4: この牛皮はリストアップするということはない; int4 & fact4 -> int5: 「この牛皮は強盗するしまた目立ちたがり屋だ」ということは偽である; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし「この牛皮は強盗するししかもそれは目立ちたがり屋である」ということは嘘だとするとこの透水性芝生舗装は珠玉様でない
事実2: この小屋組は引き裂くしまた耐え続ける
事実3: この小屋組は引き裂く
事実4: 仮にこの牛皮はリストアップしないとすると「強盗するし更に目立ちたがり屋だ」ということは誤りだ
事実5: 「その人影は鄧公橋であるがしかし輝かしくない」ということは成り立たない
事実6: この小屋組は撃破出来るし更に浮かれ騒げばそれは泊り歩く
事実7: 仮にこの小屋組が撃破出来るということはないけれどそれが浮かれ騒ぐとしたら泊り歩く
事実8: 仮に「この牛皮は目立ちたがり屋でない」ということは事実であるとすればこの透水性芝生舗装は珠玉様でない
事実9: この小屋組は撃破出来るということはないけど浮かれ騒ぐ
事実10: もし仮にあるものがリストアップするということはないならそれは泊り歩かないがしかし耐え続ける
事実11: もしもその人影が引き裂かないならこの横力は強盗するし目立ちたがり屋だ
事実12: ある物は鄧公橋でないとすれば「「浮かれ騒ぐしさらに冷え易い」ということは間違っていない」ということは嘘だ
事実13: もし仮にこの小屋組が泊り歩くしかつ耐え続けるとすればこの牛皮はリストアップするということはない
事実14: この小屋組は撃破出来ない
事実15: 「強盗する」物はあれば「「この牛皮は強盗しない一方でリストアップする」ということは成り立たない」ということは真実である
事実16: もし仮に「「その人影は鄧公橋だがしかし輝かしくない」ということは成り立つということはない」ということは成り立つとすればそれは引き裂かない

仮説: この透水性芝生舗装は珠玉様でない
1. 事実7と事実9から、推論1: "この小屋組は泊り歩く"が導かれる
2. 事実2から、推論2: "この小屋組は耐え続ける"が導かれる
3. 推論1と推論2から、推論3: "この小屋組は泊り歩くししかも耐え続ける"が導かれる
4. 推論3と事実13から、推論4: "この牛皮はリストアップするということはない"が導かれる
5. 推論4と事実4から、推論5: "「この牛皮は強盗するしまた目立ちたがり屋だ」ということは偽である"が導かれる
6. 推論5と事実1から、仮説が導かれる

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