このガソリンスタンドはリニューアルオープンするということはない
fact1: 仮に「なにかはちっこい一方で犯し易くない」ということは成り立たないとすると「送受信でない」ということは間違っていない fact2: もし仮に「この優れ者は侘しくなくてまた怪しない」ということは成り立つということはないとすればあのタブロイド紙は怪し fact3: もしも何らかのものが潔しなら細胞接着だ fact4: もしとある物は細胞接着だとすると「怪しないけれど侘しい」ということは正しくない fact5: もしその消失は細胞接着であるとすれば「「この優れ者は侘しくないし更に怪しない」ということは事実である」ということは成り立たない fact6: このケーブルＴＶはマニエリスムである一方で聡いということはない fact7: もしもあのタブロイド紙が怪しとすればこのガソリンスタンドはリニューアルオープンする fact8: もしもなにがしかの物は的中するとしたら「それが拳骨だしかつ役らしくない」ということは成り立たない fact9: 「そのリベラル派は取り難い一方で県回答であるということはない」ということは成り立たない fact10: もしもなにかはブランドらしくないならば「それはちっこいが犯し易いということはない」ということは間違っている fact11: もし何らかのものが隠棲しないかまたはめぼしいかもしくは両方であるとすればあの創新はブランドらしくない fact12: もしもなんらかのものは細胞接着であるとしたら「「怪しないし加えて侘しくない」ということは真実だ」ということは誤りである fact13: もし仮にある物は惜しみ無くないかもしくは送受信でないかあるいは両方ともならばそれは潔し fact14: もしも「「取り難いけど県回答でない」ということは事実と異なる」ものがあるならその手榴弾はしょぼくない fact15: もし仮にその手榴弾がしょぼくないとすると隠棲しないかまたはそれはめぼしいか両方ともである fact16: もしなんらかの物はアメリカっぽいなら「それは女性らしくないし手酷いということはない」ということは間違っている fact17: 仮に「「このケーブルＴＶは怪しということはないしおまけに侘しくない」ということは間違いでない」ということは偽だとすればあのガソリンスタンドはリニューアルオープンするということはない fact18: もしマニエリスムが聡くないならば細胞接着である
fact18 -> int1: 仮にこのケーブルＴＶがマニエリスムだ一方で聡くないならば細胞接着である; int1 & fact6 -> int2: このケーブルＴＶは細胞接着だ; fact12 -> int3: もしもこのケーブルＴＶは細胞接着だとすると「それは怪しということはなくて侘しくない」ということは間違いである; int2 & int3 -> int4: 「このケーブルＴＶは怪しないし侘しくない」ということは偽である; int4 & fact17 -> hypothesis;
このガソリンスタンドはリニューアルオープンする
fact25 -> int5: 仮にその消失が潔しとすれば細胞接着である; fact22 -> int6: その消失が惜しみ無くないかあるいはそれは送受信でないかまたはどちらもであるならば潔し; fact21 -> int7: もしも「この創新はちっこいがしかし犯し易くない」ということは確かでないとすれば送受信でない; fact19 -> int8: もしこの創新はブランドらしくないとしたら「ちっこいしさらに犯し易くない」ということは事実でない; fact23 -> int9: 「「「取り難いがしかし県回答でない」ということは事実だ」ということは間違いである」物はある; int9 & fact29 -> int10: その手榴弾はしょぼいということはない; fact28 & int10 -> int11: その手榴弾は隠棲しないかまたはめぼしいかまたは両方である; int11 -> int12: 「隠棲しないかもしくはめぼしいかもしくは両方ともな」物はある; int12 & fact26 -> int13: 「この創新はブランドらしい」ということは成り立たない; int8 & int13 -> int14: 「この創新はちっこいけれど犯し易くない」ということは偽である; int7 & int14 -> int15: この創新は送受信でない; int15 -> int16: なんらかのものは送受信でない;
$facts$ = fact1: 仮に「なにかはちっこい一方で犯し易くない」ということは成り立たないとすると「送受信でない」ということは間違っていない fact2: もし仮に「この優れ者は侘しくなくてまた怪しない」ということは成り立つということはないとすればあのタブロイド紙は怪し fact3: もしも何らかのものが潔しなら細胞接着だ fact4: もしとある物は細胞接着だとすると「怪しないけれど侘しい」ということは正しくない fact5: もしその消失は細胞接着であるとすれば「「この優れ者は侘しくないし更に怪しない」ということは事実である」ということは成り立たない fact6: このケーブルＴＶはマニエリスムである一方で聡いということはない fact7: もしもあのタブロイド紙が怪しとすればこのガソリンスタンドはリニューアルオープンする fact8: もしもなにがしかの物は的中するとしたら「それが拳骨だしかつ役らしくない」ということは成り立たない fact9: 「そのリベラル派は取り難い一方で県回答であるということはない」ということは成り立たない fact10: もしもなにかはブランドらしくないならば「それはちっこいが犯し易いということはない」ということは間違っている fact11: もし何らかのものが隠棲しないかまたはめぼしいかもしくは両方であるとすればあの創新はブランドらしくない fact12: もしもなんらかのものは細胞接着であるとしたら「「怪しないし加えて侘しくない」ということは真実だ」ということは誤りである fact13: もし仮にある物は惜しみ無くないかもしくは送受信でないかあるいは両方ともならばそれは潔し fact14: もしも「「取り難いけど県回答でない」ということは事実と異なる」ものがあるならその手榴弾はしょぼくない fact15: もし仮にその手榴弾がしょぼくないとすると隠棲しないかまたはそれはめぼしいか両方ともである fact16: もしなんらかの物はアメリカっぽいなら「それは女性らしくないし手酷いということはない」ということは間違っている fact17: 仮に「「このケーブルＴＶは怪しということはないしおまけに侘しくない」ということは間違いでない」ということは偽だとすればあのガソリンスタンドはリニューアルオープンするということはない fact18: もしマニエリスムが聡くないならば細胞接着である ; $hypothesis$ = このガソリンスタンドはリニューアルオープンするということはない ; $proof$ = 
fact18 -> int1: 仮にこのケーブルＴＶがマニエリスムだ一方で聡くないならば細胞接着である; int1 & fact6 -> int2: このケーブルＴＶは細胞接着だ; fact12 -> int3: もしもこのケーブルＴＶは細胞接着だとすると「それは怪しということはなくて侘しくない」ということは間違いである; int2 & int3 -> int4: 「このケーブルＴＶは怪しないし侘しくない」ということは偽である; int4 & fact17 -> hypothesis; __PROVED__
事実1: 仮に「なにかはちっこい一方で犯し易くない」ということは成り立たないとすると「送受信でない」ということは間違っていない
事実2: もし仮に「この優れ者は侘しくなくてまた怪しない」ということは成り立つということはないとすればあのタブロイド紙は怪し
事実3: もしも何らかのものが潔しなら細胞接着だ
事実4: もしとある物は細胞接着だとすると「怪しないけれど侘しい」ということは正しくない
事実5: もしその消失は細胞接着であるとすれば「「この優れ者は侘しくないし更に怪しない」ということは事実である」ということは成り立たない
事実6: このケーブルＴＶはマニエリスムである一方で聡いということはない
事実7: もしもあのタブロイド紙が怪しとすればこのガソリンスタンドはリニューアルオープンする
事実8: もしもなにがしかの物は的中するとしたら「それが拳骨だしかつ役らしくない」ということは成り立たない
事実9: 「そのリベラル派は取り難い一方で県回答であるということはない」ということは成り立たない
事実10: もしもなにかはブランドらしくないならば「それはちっこいが犯し易いということはない」ということは間違っている
事実11: もし何らかのものが隠棲しないかまたはめぼしいかもしくは両方であるとすればあの創新はブランドらしくない
事実12: もしもなんらかのものは細胞接着であるとしたら「「怪しないし加えて侘しくない」ということは真実だ」ということは誤りである
事実13: もし仮にある物は惜しみ無くないかもしくは送受信でないかあるいは両方ともならばそれは潔し
事実14: もしも「「取り難いけど県回答でない」ということは事実と異なる」ものがあるならその手榴弾はしょぼくない
事実15: もし仮にその手榴弾がしょぼくないとすると隠棲しないかまたはそれはめぼしいか両方ともである
事実16: もしなんらかの物はアメリカっぽいなら「それは女性らしくないし手酷いということはない」ということは間違っている
事実17: 仮に「「このケーブルＴＶは怪しということはないしおまけに侘しくない」ということは間違いでない」ということは偽だとすればあのガソリンスタンドはリニューアルオープンするということはない
事実18: もしマニエリスムが聡くないならば細胞接着である

仮説: このガソリンスタンドはリニューアルオープンするということはない
1. 事実18から、推論1: "仮にこのケーブルＴＶがマニエリスムだ一方で聡くないならば細胞接着である"が導かれる
2. 推論1と事実6から、推論2: "このケーブルＴＶは細胞接着だ"が導かれる
3. 事実12から、推論3: "もしもこのケーブルＴＶは細胞接着だとすると「それは怪しということはなくて侘しくない」ということは間違いである"が導かれる
4. 推論2と推論3から、推論4: "「このケーブルＴＶは怪しないし侘しくない」ということは偽である"が導かれる
5. 推論4と事実17から、仮説が導かれる

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