その既存店売り上げ高は投書しない
fact1: 仮にその東京見物が狙うし町当局であるとすればその既存店売り上げ高は投書する fact2: その東京見物は狙うということはない fact3: そのラクトオボ・ベジタリアンは尿浸透圧でない fact4: そのラクトオボ・ベジタリアンは見守る fact5: 低血糖症は尿浸透圧でない fact6: そのラクトオボ・ベジタリアンは狙わないけど古臭い fact7: もし仮にそのラクトオボ・ベジタリアンは低血糖症であるならそれは尿浸透圧でない fact8: そのラクトオボ・ベジタリアンは古臭い fact9: そのラクトオボ・ベジタリアンは狙わないし尿浸透圧でない fact10: もしそのラクトオボ・ベジタリアンが町当局でないとすればその東京見物は狙わない fact11: 「なにかは古臭くないとすると「それは投書しなくてそれは狙わない」ということは間違いである」ということは間違っていない fact12: もし仮に「ある物は古臭い一方で際限無くない」ということは成り立たないならばそれは古臭くない fact13: そのラクトオボ・ベジタリアンは古臭いし低血糖症である fact14: もし「際限無い」物はあるとしたら「その公刊は古臭いけれど際限無くない」ということは誤っている fact15: あの人絹は町当局だ fact16: もしそのラクトオボ・ベジタリアンが町当局でないならばあの東京見物は狙わない一方で町当局である fact17: もし「なにかは投書しないしそれは狙わない」ということは成り立たないなら低血糖症でない fact18: その既存店売り上げ高は潔しない fact19: なにかは低血糖症であるとするとそれは町当局であるということはないしおまけに尿浸透圧でない fact20: もし仮にその既存店売り上げ高は潔しないとすると「痺れないししかも際限無くない」ということは間違っている fact21: もしも「その既存店売り上げ高は痺れないし際限無くない」ということは成り立たないとしたら「その東京見物は際限無い」ということは確かだ fact22: その東京見物が古臭くないがしかし低血糖症であるならそのラクトオボ・ベジタリアンは町当局である fact23: もしもその東京見物が狙うということはない一方でそれが町当局であるとしたらその既存店売り上げ高は投書する fact24: 仮に何かは狙えばそれは投書するしさらにそれは低血糖症でない
fact19 -> int1: 仮にそのラクトオボ・ベジタリアンが低血糖症であるとすると町当局であるということはないしさらにそれは尿浸透圧でない; fact13 -> int2: そのラクトオボ・ベジタリアンは低血糖症だ; int1 & int2 -> int3: そのラクトオボ・ベジタリアンは町当局でなくて尿浸透圧でない; int3 -> int4: そのラクトオボ・ベジタリアンは町当局であるということはない; int4 & fact16 -> int5: その東京見物は狙わないけれど町当局だ; int5 & fact23 -> hypothesis;
その既存店売り上げ高は投書しない
fact25 -> int6: もしその東京見物が狙うならそれは投書するけれど低血糖症でない;
$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$ = 
fact19 -> int1: 仮にそのラクトオボ・ベジタリアンが低血糖症であるとすると町当局であるということはないしさらにそれは尿浸透圧でない; fact13 -> int2: そのラクトオボ・ベジタリアンは低血糖症だ; int1 & int2 -> int3: そのラクトオボ・ベジタリアンは町当局でなくて尿浸透圧でない; int3 -> int4: そのラクトオボ・ベジタリアンは町当局であるということはない; int4 & fact16 -> int5: その東京見物は狙わないけれど町当局だ; int5 & fact23 -> 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. 事実19から、推論1: "仮にそのラクトオボ・ベジタリアンが低血糖症であるとすると町当局であるということはないしさらにそれは尿浸透圧でない"が導かれる
2. 事実13から、推論2: "そのラクトオボ・ベジタリアンは低血糖症だ"が導かれる
3. 推論1と推論2から、推論3: "そのラクトオボ・ベジタリアンは町当局でなくて尿浸透圧でない"が導かれる
4. 推論3から、推論4: "そのラクトオボ・ベジタリアンは町当局であるということはない"が導かれる
5. 推論4と事実16から、推論5: "その東京見物は狙わないけれど町当局だ"が導かれる
6. 推論5と事実23から、仮説が否定される

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