「その深酒は包装でないけど滞り易い」ということは偽だ
fact1: もしも「あのベルマーレ平塚は狙われ易いが築かない」ということは成り立つとするとその豚肉は狙われ易くない fact2: もしもあのベルマーレ平塚がウエイトレスだとするとその主張自体は狙われ易い fact3: そのオンボードサウンドが貫けるしおまけにそれがややこしいならその豚肉は滞り易くない fact4: もしそのオンボードサウンドが徴求するとしたらややこしい fact5: 塩乾加工品が貫けないならそれは包装でない fact6: もし仮に「狭い」ものはあれば「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立たない fact7: もし仮にそのオンボードサウンドが続けるがそれがあくどくないならばそれは徴求する fact8: もし「あのベルマーレ平塚はややこしくない一方でそれは徴求する」ということは成り立たないとするとややこしい fact9: その豚肉は滞り易いとすれば「それは塩乾加工品でないしまた狭くない」ということは成り立つ fact10: 「あのベルマーレ平塚は割れ易いけれどそれはウエイトレスだということはない」ということは成り立たない fact11: そのオンボードサウンドは続けるがあくどくない fact12: 「もし仮に「「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立つということはない」ということは事実ならそのオンボードサウンドは貫ける」ということは正しい fact13: もしその主張自体が狙われ易いとすると狭い fact14: もしもその豚肉は滞り易くないとしたら「その深酒は包装でないけれど滞り易い」ということは嘘だ fact15: 仮に「あのベルマーレ平塚は割れ易いがしかしウエイトレスであるということはない」ということは成り立たないとすればあの主張自体は狙われ易い fact16: 仮にその豚肉は狭くなくて狙われ易くないとするとそれは貫ける
fact15 & fact10 -> int1: その主張自体は狙われ易い; int1 & fact13 -> int2: 「その主張自体は狭い」ということは確かだ; int2 -> int3: 「狭い」ものはある; int3 & fact6 -> int4: 「そのオンボードサウンドは塩乾加工品でないけれどそれは築く」ということは成り立つということはない; int4 & fact12 -> int5: そのオンボードサウンドは貫ける; fact11 & fact7 -> int6: そのオンボードサウンドは徴求する; int6 & fact4 -> int7: そのオンボードサウンドはややこしい; int5 & int7 -> int8: そのオンボードサウンドは貫けるしまたややこしい; int8 & fact3 -> int9: その豚肉は滞り易くない; int9 & fact14 -> hypothesis;
その豚肉は貫ける
$facts$ = fact1: もしも「あのベルマーレ平塚は狙われ易いが築かない」ということは成り立つとするとその豚肉は狙われ易くない fact2: もしもあのベルマーレ平塚がウエイトレスだとするとその主張自体は狙われ易い fact3: そのオンボードサウンドが貫けるしおまけにそれがややこしいならその豚肉は滞り易くない fact4: もしそのオンボードサウンドが徴求するとしたらややこしい fact5: 塩乾加工品が貫けないならそれは包装でない fact6: もし仮に「狭い」ものはあれば「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立たない fact7: もし仮にそのオンボードサウンドが続けるがそれがあくどくないならばそれは徴求する fact8: もし「あのベルマーレ平塚はややこしくない一方でそれは徴求する」ということは成り立たないとするとややこしい fact9: その豚肉は滞り易いとすれば「それは塩乾加工品でないしまた狭くない」ということは成り立つ fact10: 「あのベルマーレ平塚は割れ易いけれどそれはウエイトレスだということはない」ということは成り立たない fact11: そのオンボードサウンドは続けるがあくどくない fact12: 「もし仮に「「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立つということはない」ということは事実ならそのオンボードサウンドは貫ける」ということは正しい fact13: もしその主張自体が狙われ易いとすると狭い fact14: もしもその豚肉は滞り易くないとしたら「その深酒は包装でないけれど滞り易い」ということは嘘だ fact15: 仮に「あのベルマーレ平塚は割れ易いがしかしウエイトレスであるということはない」ということは成り立たないとすればあの主張自体は狙われ易い fact16: 仮にその豚肉は狭くなくて狙われ易くないとするとそれは貫ける ; $hypothesis$ = 「その深酒は包装でないけど滞り易い」ということは偽だ ; $proof$ = 
fact15 & fact10 -> int1: その主張自体は狙われ易い; int1 & fact13 -> int2: 「その主張自体は狭い」ということは確かだ; int2 -> int3: 「狭い」ものはある; int3 & fact6 -> int4: 「そのオンボードサウンドは塩乾加工品でないけれどそれは築く」ということは成り立つということはない; int4 & fact12 -> int5: そのオンボードサウンドは貫ける; fact11 & fact7 -> int6: そのオンボードサウンドは徴求する; int6 & fact4 -> int7: そのオンボードサウンドはややこしい; int5 & int7 -> int8: そのオンボードサウンドは貫けるしまたややこしい; int8 & fact3 -> int9: その豚肉は滞り易くない; int9 & fact14 -> hypothesis; __PROVED__
事実1: もしも「あのベルマーレ平塚は狙われ易いが築かない」ということは成り立つとするとその豚肉は狙われ易くない
事実2: もしもあのベルマーレ平塚がウエイトレスだとするとその主張自体は狙われ易い
事実3: そのオンボードサウンドが貫けるしおまけにそれがややこしいならその豚肉は滞り易くない
事実4: もしそのオンボードサウンドが徴求するとしたらややこしい
事実5: 塩乾加工品が貫けないならそれは包装でない
事実6: もし仮に「狭い」ものはあれば「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立たない
事実7: もし仮にそのオンボードサウンドが続けるがそれがあくどくないならばそれは徴求する
事実8: もし「あのベルマーレ平塚はややこしくない一方でそれは徴求する」ということは成り立たないとするとややこしい
事実9: その豚肉は滞り易いとすれば「それは塩乾加工品でないしまた狭くない」ということは成り立つ
事実10: 「あのベルマーレ平塚は割れ易いけれどそれはウエイトレスだということはない」ということは成り立たない
事実11: そのオンボードサウンドは続けるがあくどくない
事実12: 「もし仮に「「そのオンボードサウンドは塩乾加工品でない一方で築く」ということは成り立つということはない」ということは事実ならそのオンボードサウンドは貫ける」ということは正しい
事実13: もしその主張自体が狙われ易いとすると狭い
事実14: もしもその豚肉は滞り易くないとしたら「その深酒は包装でないけれど滞り易い」ということは嘘だ
事実15: 仮に「あのベルマーレ平塚は割れ易いがしかしウエイトレスであるということはない」ということは成り立たないとすればあの主張自体は狙われ易い
事実16: 仮にその豚肉は狭くなくて狙われ易くないとするとそれは貫ける

仮説: 「その深酒は包装でないけど滞り易い」ということは偽だ
1. 事実15と事実10から、推論1: "その主張自体は狙われ易い"が導かれる
2. 推論1と事実13から、推論2: "「その主張自体は狭い」ということは確かだ"が導かれる
3. 推論2から、推論3: "「狭い」ものはある"が導かれる
4. 推論3と事実6から、推論4: "「そのオンボードサウンドは塩乾加工品でないけれどそれは築く」ということは成り立つということはない"が導かれる
5. 推論4と事実12から、推論5: "そのオンボードサウンドは貫ける"が導かれる
6. 事実11と事実7から、推論6: "そのオンボードサウンドは徴求する"が導かれる
7. 推論6と事実4から、推論7: "そのオンボードサウンドはややこしい"が導かれる
8. 推論5と推論7から、推論8: "そのオンボードサウンドは貫けるしまたややこしい"が導かれる
9. 推論8と事実3から、推論9: "その豚肉は滞り易くない"が導かれる
10. 推論9と事実14から、仮説が導かれる

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