このタバコ屋は加工し易くない
fact1: 何らかの物が差し挟むしかつ貯金するとすれば軽しない fact2: その価値規範は貯金する fact3: もしも「「無痴である一方で加工し易くない」ということは嘘な」物があるとしたらこの工程毎は来難い fact4: あの植え換えは進化し易くない fact5: もしもこのタバコ屋はリサイクル出来るとすると「それは無痴だがしかし加工し易くない」ということは本当でない fact6: その価値規範は差し挟む fact7: このタバコ屋が軽しないならその価値規範は貯金するし加えて加工し易い fact8: あの植え換えは京都らしいということはない fact9: その価値規範が貯金しない一方で加工し易いならばこのタバコ屋は加工し易くない fact10: 仮にとあるものは進化し易くないとしたら「それは貯金するしそれは軽し」ということは事実と異なる fact11: この執務態度は蔓延るしさらにそれは後続する fact12: その道徳心は差し挟む fact13: その価値規範は無痴だ fact14: もしも「その退院時は悪戯っぽくないかまたは地中深いかまたは両方ともである」ということは間違っているとしたらその手牌は御招待頂かない fact15: もし仮に漏れ易いものが励行するとするとそれは特許権侵害でない fact16: もし仮にその手牌は御招待頂かないなら「その価値規範は進化し易いしおまけにそれは軽し」ということは正しい fact17: 仮に「京都らしくない」物があるとしたらこのタバコ屋はリサイクル出来るし伝わり難い fact18: 「このタバコ屋は地下深いしそれに差し挟む」ということは成り立つ fact19: 「このタバコ屋は貯金しない」ということは成り立つ fact20: 仮にその価値規範が軽しないとするとこのタバコ屋は無痴であるし加工し易い fact21: あのレイヤーは加工し易くない fact22: もしもその価値規範が差し挟まない一方で貯金するとすればあの工程毎はまだるっこしい
fact6 & fact2 -> int1: その価値規範は差し挟むし貯金する; fact1 -> int2: もし仮にその価値規範が差し挟むしそれに貯金するなら軽しない; int1 & int2 -> int3: その価値規範は軽しない; int3 & fact20 -> int4: このタバコ屋は無痴でかつ加工し易い; int4 -> hypothesis;
この工程毎はまだるっこしいしおまけに来難い
fact23 -> int5: 「何らかの物は京都らしくない」ということは確かだ; int5 & fact29 -> int6: このタバコ屋はリサイクル出来るし更にそれは伝わり難い; int6 -> int7: このタバコ屋はリサイクル出来る; fact24 & int7 -> int8: 「このタバコ屋は無痴である一方で加工し易くない」ということは成り立たない; int8 -> int9: 「「無痴であるしそれに加工し易くない」ということは成り立たない」物はある; int9 & fact27 -> int10: この工程毎は来難い;
$facts$ = fact1: 何らかの物が差し挟むしかつ貯金するとすれば軽しない fact2: その価値規範は貯金する fact3: もしも「「無痴である一方で加工し易くない」ということは嘘な」物があるとしたらこの工程毎は来難い fact4: あの植え換えは進化し易くない fact5: もしもこのタバコ屋はリサイクル出来るとすると「それは無痴だがしかし加工し易くない」ということは本当でない fact6: その価値規範は差し挟む fact7: このタバコ屋が軽しないならその価値規範は貯金するし加えて加工し易い fact8: あの植え換えは京都らしいということはない fact9: その価値規範が貯金しない一方で加工し易いならばこのタバコ屋は加工し易くない fact10: 仮にとあるものは進化し易くないとしたら「それは貯金するしそれは軽し」ということは事実と異なる fact11: この執務態度は蔓延るしさらにそれは後続する fact12: その道徳心は差し挟む fact13: その価値規範は無痴だ fact14: もしも「その退院時は悪戯っぽくないかまたは地中深いかまたは両方ともである」ということは間違っているとしたらその手牌は御招待頂かない fact15: もし仮に漏れ易いものが励行するとするとそれは特許権侵害でない fact16: もし仮にその手牌は御招待頂かないなら「その価値規範は進化し易いしおまけにそれは軽し」ということは正しい fact17: 仮に「京都らしくない」物があるとしたらこのタバコ屋はリサイクル出来るし伝わり難い fact18: 「このタバコ屋は地下深いしそれに差し挟む」ということは成り立つ fact19: 「このタバコ屋は貯金しない」ということは成り立つ fact20: 仮にその価値規範が軽しないとするとこのタバコ屋は無痴であるし加工し易い fact21: あのレイヤーは加工し易くない fact22: もしもその価値規範が差し挟まない一方で貯金するとすればあの工程毎はまだるっこしい ; $hypothesis$ = このタバコ屋は加工し易くない ; $proof$ = 
fact6 & fact2 -> int1: その価値規範は差し挟むし貯金する; fact1 -> int2: もし仮にその価値規範が差し挟むしそれに貯金するなら軽しない; int1 & int2 -> int3: その価値規範は軽しない; int3 & fact20 -> int4: このタバコ屋は無痴でかつ加工し易い; int4 -> hypothesis; __DISPROVED__
事実1: 何らかの物が差し挟むしかつ貯金するとすれば軽しない
事実2: その価値規範は貯金する
事実3: もしも「「無痴である一方で加工し易くない」ということは嘘な」物があるとしたらこの工程毎は来難い
事実4: あの植え換えは進化し易くない
事実5: もしもこのタバコ屋はリサイクル出来るとすると「それは無痴だがしかし加工し易くない」ということは本当でない
事実6: その価値規範は差し挟む
事実7: このタバコ屋が軽しないならその価値規範は貯金するし加えて加工し易い
事実8: あの植え換えは京都らしいということはない
事実9: その価値規範が貯金しない一方で加工し易いならばこのタバコ屋は加工し易くない
事実10: 仮にとあるものは進化し易くないとしたら「それは貯金するしそれは軽し」ということは事実と異なる
事実11: この執務態度は蔓延るしさらにそれは後続する
事実12: その道徳心は差し挟む
事実13: その価値規範は無痴だ
事実14: もしも「その退院時は悪戯っぽくないかまたは地中深いかまたは両方ともである」ということは間違っているとしたらその手牌は御招待頂かない
事実15: もし仮に漏れ易いものが励行するとするとそれは特許権侵害でない
事実16: もし仮にその手牌は御招待頂かないなら「その価値規範は進化し易いしおまけにそれは軽し」ということは正しい
事実17: 仮に「京都らしくない」物があるとしたらこのタバコ屋はリサイクル出来るし伝わり難い
事実18: 「このタバコ屋は地下深いしそれに差し挟む」ということは成り立つ
事実19: 「このタバコ屋は貯金しない」ということは成り立つ
事実20: 仮にその価値規範が軽しないとするとこのタバコ屋は無痴であるし加工し易い
事実21: あのレイヤーは加工し易くない
事実22: もしもその価値規範が差し挟まない一方で貯金するとすればあの工程毎はまだるっこしい

仮説: このタバコ屋は加工し易くない
1. 事実6と事実2から、推論1: "その価値規範は差し挟むし貯金する"が導かれる
2. 事実1から、推論2: "もし仮にその価値規範が差し挟むしそれに貯金するなら軽しない"が導かれる
3. 推論1と推論2から、推論3: "その価値規範は軽しない"が導かれる
4. 推論3と事実20から、推論4: "このタバコ屋は無痴でかつ加工し易い"が導かれる
5. 推論4から、仮説が否定される

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