「あの防腐はオンラインショッピングである」ということは成り立つ
fact1: その道路公園は地下深い一方でそれは流木だということはない fact2: もし仮にその画定が軍隊時代でないとしたらあの防腐は固定式でない fact3: 「「脂っぽいし気高しない」ということは誤っている」ものはある fact4: 仮に「「脂っぽいけど気高しない」ということは成り立たない」物があるとすればあの画定は脂っぽくない fact5: もしもその画定は遣り難いとすると「外国語パンフレットであるが限り無くない」ということは嘘だ fact6: もし仮に何かは軍隊時代だとすると固定式だ fact7: 仮にある物がえげつなくないとするとそれがオンラインショッピングだしその上廉価版だ fact8: もしその画定はオンラインショッピングなら「その国文学は原資料である一方でそれは発揮し難くない」ということは嘘である fact9: その画定が卵黄であるとしたらあの防腐は固定式でない fact10: もしその道路公園は地下深い一方で流木でないとするとそれはえげつない fact11: もしなにかは卵黄だということはないとすれば「あの閉鎖会社は歯数だし卵黄だ」ということは成り立たない fact12: もし仮に「その画定は外国語パンフレットだけれどそれは限り無くない」ということは成り立たないなら「それはオンラインショッピングである」ということは間違いでない fact13: もしもその画定が脂っぽいということはないとすれば使用し難いけど入手し易くない fact14: 「なにかは発揮し難くて原資料だ」ということは誤っていればオンラインショッピングだということはない fact15: あの防腐は外国語パンフレットである fact16: もしその道路公園は外国語パンフレットであるならば廉価版だ fact17: もし「その国文学は原資料であるけど発揮し難くない」ということは成り立たないならその道路公園は軍隊時代だ fact18: もし「なにがしかの物はえげつなくないかあるいは廉価版であるかもしくはどちらもである」ということは成り立たないとしたらそれは卵黄でない fact19: ある物は卵黄であるしおまけにそれは軍隊時代である fact20: 「その道路公園は外国語パンフレットだ」ということは事実である fact21: 仮になにがしかの物は固定式でないとしたら「それは発揮し難いし加えて原資料である」ということは成り立たない fact22: もし仮に使用し難いものは入手し易くないなら遣り難い fact23: もしその国文学が卵黄でないならばその画定は卵黄であるか軍隊時代でない fact24: 仮に「えげつないしおまけに廉価版な」ものがあればその国文学は卵黄であるということはない
fact10 & fact1 -> int1: 「その道路公園はえげつない」ということは事実と異ならない; fact20 & fact16 -> int2: その道路公園は廉価版である; int1 & int2 -> int3: その道路公園はえげつなくて廉価版である; int3 -> int4: 「えげつないしおまけに廉価版である」物はある; int4 & fact24 -> int5: 「その国文学は卵黄でない」ということは正しい; int5 & fact23 -> int6: その画定は卵黄であるかあるいはそれは軍隊時代でないかもしくは両方である; int6 & fact9 & fact2 -> int7: あの防腐は固定式であるということはない; fact21 -> int8: 仮にあの防腐は固定式でないとしたら「発揮し難いしそれに原資料だ」ということは成り立たない; int7 & int8 -> int9: 「あの防腐は発揮し難いし更に原資料だ」ということは間違いである; fact14 -> int10: 「「あの防腐は発揮し難くて原資料である」ということは間違いだ」ということは正しいとするとオンラインショッピングでない; int9 & int10 -> hypothesis;
あの防腐はオンラインショッピングである
fact25 -> int11: 仮にあの防腐がえげつなくないとしたらそれはオンラインショッピングであるししかもそれは廉価版だ;
$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: 仮に「えげつないしおまけに廉価版な」ものがあればその国文学は卵黄であるということはない ; $hypothesis$ = 「あの防腐はオンラインショッピングである」ということは成り立つ ; $proof$ = 
fact10 & fact1 -> int1: 「その道路公園はえげつない」ということは事実と異ならない; fact20 & fact16 -> int2: その道路公園は廉価版である; int1 & int2 -> int3: その道路公園はえげつなくて廉価版である; int3 -> int4: 「えげつないしおまけに廉価版である」物はある; int4 & fact24 -> int5: 「その国文学は卵黄でない」ということは正しい; int5 & fact23 -> int6: その画定は卵黄であるかあるいはそれは軍隊時代でないかもしくは両方である; int6 & fact9 & fact2 -> int7: あの防腐は固定式であるということはない; fact21 -> int8: 仮にあの防腐は固定式でないとしたら「発揮し難いしそれに原資料だ」ということは成り立たない; int7 & int8 -> int9: 「あの防腐は発揮し難いし更に原資料だ」ということは間違いである; fact14 -> int10: 「「あの防腐は発揮し難くて原資料である」ということは間違いだ」ということは正しいとするとオンラインショッピングでない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: その道路公園は地下深い一方でそれは流木だということはない
事実2: もし仮にその画定が軍隊時代でないとしたらあの防腐は固定式でない
事実3: 「「脂っぽいし気高しない」ということは誤っている」ものはある
事実4: 仮に「「脂っぽいけど気高しない」ということは成り立たない」物があるとすればあの画定は脂っぽくない
事実5: もしもその画定は遣り難いとすると「外国語パンフレットであるが限り無くない」ということは嘘だ
事実6: もし仮に何かは軍隊時代だとすると固定式だ
事実7: 仮にある物がえげつなくないとするとそれがオンラインショッピングだしその上廉価版だ
事実8: もしその画定はオンラインショッピングなら「その国文学は原資料である一方でそれは発揮し難くない」ということは嘘である
事実9: その画定が卵黄であるとしたらあの防腐は固定式でない
事実10: もしその道路公園は地下深い一方で流木でないとするとそれはえげつない
事実11: もしなにかは卵黄だということはないとすれば「あの閉鎖会社は歯数だし卵黄だ」ということは成り立たない
事実12: もし仮に「その画定は外国語パンフレットだけれどそれは限り無くない」ということは成り立たないなら「それはオンラインショッピングである」ということは間違いでない
事実13: もしもその画定が脂っぽいということはないとすれば使用し難いけど入手し易くない
事実14: 「なにかは発揮し難くて原資料だ」ということは誤っていればオンラインショッピングだということはない
事実15: あの防腐は外国語パンフレットである
事実16: もしその道路公園は外国語パンフレットであるならば廉価版だ
事実17: もし「その国文学は原資料であるけど発揮し難くない」ということは成り立たないならその道路公園は軍隊時代だ
事実18: もし「なにがしかの物はえげつなくないかあるいは廉価版であるかもしくはどちらもである」ということは成り立たないとしたらそれは卵黄でない
事実19: ある物は卵黄であるしおまけにそれは軍隊時代である
事実20: 「その道路公園は外国語パンフレットだ」ということは事実である
事実21: 仮になにがしかの物は固定式でないとしたら「それは発揮し難いし加えて原資料である」ということは成り立たない
事実22: もし仮に使用し難いものは入手し易くないなら遣り難い
事実23: もしその国文学が卵黄でないならばその画定は卵黄であるか軍隊時代でない
事実24: 仮に「えげつないしおまけに廉価版な」ものがあればその国文学は卵黄であるということはない

仮説: 「あの防腐はオンラインショッピングである」ということは成り立つ
1. 事実10と事実1から、推論1: "「その道路公園はえげつない」ということは事実と異ならない"が導かれる
2. 事実20と事実16から、推論2: "その道路公園は廉価版である"が導かれる
3. 推論1と推論2から、推論3: "その道路公園はえげつなくて廉価版である"が導かれる
4. 推論3から、推論4: "「えげつないしおまけに廉価版である」物はある"が導かれる
5. 推論4と事実24から、推論5: "「その国文学は卵黄でない」ということは正しい"が導かれる
6. 推論5と事実23から、推論6: "その画定は卵黄であるかあるいはそれは軍隊時代でないかもしくは両方である"が導かれる
7. 推論6と事実9と事実2から、推論7: "あの防腐は固定式であるということはない"が導かれる
8. 事実21から、推論8: "仮にあの防腐は固定式でないとしたら「発揮し難いしそれに原資料だ」ということは成り立たない"が導かれる
9. 推論7と推論8から、推論9: "「あの防腐は発揮し難いし更に原資料だ」ということは間違いである"が導かれる
10. 事実14から、推論10: "「「あの防腐は発揮し難くて原資料である」ということは間違いだ」ということは正しいとするとオンラインショッピングでない"が導かれる
11. 推論9と推論10から、仮説が否定される

よって、仮説が否定されました。