このアルコール製剤は転販するしおまけにそれは取り引き企業である
fact1: その二軒は侵犯しない fact2: もしその二軒は街らしくないならば「このアルコール製剤は転販するしそれは取り引き企業だ」ということは嘘だ fact3: 「あのコーディネイトは断定し難い物であってそれに断り難い」ということは誤っていればその顕揚は作らさない fact4: もしもその顕揚が取り引き企業でないならばこのアルコール製剤は街らしい fact5: このアルコール製剤は下級機関だしその上実行結果である fact6: もしその顕揚は冷たくないならば「その二軒は転販しない一方でそれは点検出来る」ということは事実と異なる fact7: その顕揚が作らさないとするとその二軒は迷い難くてそれに侵犯する fact8: 仮に「その二軒は点検出来ない」ということは正しいなら「その顕揚は街らしいしまた冷たい」ということは間違っている fact9: このアルコール製剤は纏まり毎である fact10: もしもあるものが点検出来るとするとそれは転販するということはない fact11: 仮に「とあるものは点検出来ないがしかしそれは冷たい」ということは成り立たないならばそれは街らしくない fact12: もしなんらかの物は侵犯するとすれば「それは点検出来なくて更にそれは冷たい」ということは事実でない fact13: 「その二軒は美味しいしさらに吸収され難い」ということは事実である fact14: 仮にその二軒が侵犯しないとしたらそれは満遍無いかもしくは冷たい fact15: その二軒は点検出来ないとすると「「その顕揚は街らしくない一方でそれは冷たい」ということは誤りである」ということは成り立つ fact16: もし仮にその顕揚が街らしいとすれば転販しない fact17: もしその二軒が美味しくておまけにそれが吸収され難いとすると点検出来ない fact18: もしその顕揚が転販するということはないとしたらこのアルコール製剤は取り引き企業だ fact19: 仮に「とあるものは街らしくないがしかしそれは冷たい」ということは嘘だとしたら転販しない fact20: その顕揚が転販しないならこのアルコール製剤は転販するしさらに取り引き企業である fact21: その二軒は吸収され難い fact22: この社運は生食しなくておまけに拍売りでない fact23: 「その顕揚は街らしいしまたそれは冷たい」ということは事実と異なる fact24: 街らしい物は転販しない
fact17 & fact13 -> int1: 「その二軒は点検出来ない」ということは本当である; int1 & fact15 -> int2: 「その顕揚は街らしくないがしかし冷たい」ということは成り立たない; fact19 -> int3: 仮に「その顕揚は街らしくないがしかし冷たい」ということは事実と異なるとしたらそれは転販しない; int2 & int3 -> int4: その顕揚は転販しない; int4 & fact20 -> hypothesis;
「このアルコール製剤は転販するしそれは取り引き企業だ」ということは誤りだ
fact28 -> int5: もし仮に「「その二軒は点検出来ないがそれは冷たい」ということは正しい」ということは誤りだとしたら街らしくない; fact30 -> int6: もしもその二軒は侵犯するとすると「点検出来ないしその上それは冷たい」ということは成り立たない; fact27 -> int7: この社運は生食するということはない; int7 -> int8: 「「生食するということはない」ということは確かである」ものはある;
$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$ = 
fact17 & fact13 -> int1: 「その二軒は点検出来ない」ということは本当である; int1 & fact15 -> int2: 「その顕揚は街らしくないがしかし冷たい」ということは成り立たない; fact19 -> int3: 仮に「その顕揚は街らしくないがしかし冷たい」ということは事実と異なるとしたらそれは転販しない; int2 & int3 -> int4: その顕揚は転販しない; int4 & fact20 -> 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: 街らしい物は転販しない

仮説: このアルコール製剤は転販するしおまけにそれは取り引き企業である
1. 事実17と事実13から、推論1: "「その二軒は点検出来ない」ということは本当である"が導かれる
2. 推論1と事実15から、推論2: "「その顕揚は街らしくないがしかし冷たい」ということは成り立たない"が導かれる
3. 事実19から、推論3: "仮に「その顕揚は街らしくないがしかし冷たい」ということは事実と異なるとしたらそれは転販しない"が導かれる
4. 推論2と推論3から、推論4: "その顕揚は転販しない"が導かれる
5. 推論4と事実20から、仮説が導かれる

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