その物流活動全体はラップする
fact1: もし仮にあの貴社は仕舞い易いとすれば「様式でない」ということは事実である fact2: 仮にあるものが保存出来るとするとあの貴社は仕舞い易いがしかしそれは著述でない fact3: もしもある物はＡＳＴでないかまたは魘されるかまたは両方であるならば「仕舞い易くない」ということは正しい fact4: この感嘆は様式でない fact5: この綿埃は著述である fact6: そのアイシャドーは保存出来る fact7: その物流活動全体は着任しない fact8: 仮にその地租改正法がかわゆくないならばあの貴社はＡＳＴであるか魘されるか両方だ fact9: この実用新案は仕舞い易くない fact10: もし仮に何らかの物がラップするならその物流活動全体はかわゆいということはない fact11: そのエステティシャンは三池闘争であるけれどそれはＡＳＴだということはない fact12: 「その地租改正法はＡＳＴでない」ということは成り立つ fact13: 仮に「この実用新案は様式でないが上れる」ということは成り立たないならその地租改正法はかわゆくない fact14: その癲癇質は保存出来る fact15: 仮にその地租改正法は着任しないならば「この綿埃はかわゆくないがそれはラップする」ということは本当でない fact16: もしもその地租改正法がかわゆくないならあの貴社はＡＳＴでないかまたは魘されるかあるいは両方ともだ fact17: もしも何らかのものは保存出来るなら「著述でない」ということは本当だ fact18: もし何らかのものが保存出来るとすればあの貴社は著述でない fact19: その地租改正法は上れるということはない fact20: この実用新案が様式であるとするとその地租改正法はかわゆくない fact21: もしなにかは着任しないかもしくはそれは様式であるかあるいは両方であるとするとそれは魘されない fact22: 「この綿埃は着任するということはない」ということは成り立つとしたら「この実用新案は様式でないが上れる」ということは成り立たない fact23: そのアイシャドーはラップしない fact24: あの貴社は著述であるということはない fact25: 仮になにかは魘されないかまたはそれは様式であるならかわゆいということはない fact26: もし仮にその物流活動全体がラップするとするとこの綿埃は着任しない fact27: その地租改正法は間違え易い fact28: もし「この実用新案はラップしないけど様式だ」ということは成り立たないならばあの物流活動全体はＡＳＴだということはない
void -> assump1: 以下のように仮定する。その物流活動全体はラップする; fact26 & assump1 -> int1: この綿埃は着任しない; int1 & fact22 -> int2: 「この実用新案は様式でないけれど上れる」ということは誤りである; int2 & fact13 -> int3: その地租改正法はかわゆいということはない; int3 & fact16 -> int4: あの貴社はＡＳＴでないか魘されるかまたは両方ともである; fact3 -> int5: もしもあの貴社がＡＳＴでないかもしくは魘されればそれは仕舞い易くない; int4 & int5 -> int6: あの貴社は仕舞い易いということはない; fact6 -> int7: なんらかの物は保存出来る; int7 & fact2 -> int8: あの貴社は仕舞い易い一方で著述でない; int8 -> int9: あの貴社は仕舞い易い; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$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: あの貴社は著述であるということはない fact25: 仮になにかは魘されないかまたはそれは様式であるならかわゆいということはない fact26: もし仮にその物流活動全体がラップするとするとこの綿埃は着任しない fact27: その地租改正法は間違え易い fact28: もし「この実用新案はラップしないけど様式だ」ということは成り立たないならばあの物流活動全体はＡＳＴだということはない ; $hypothesis$ = その物流活動全体はラップする ; $proof$ = 
void -> assump1: 以下のように仮定する。その物流活動全体はラップする; fact26 & assump1 -> int1: この綿埃は着任しない; int1 & fact22 -> int2: 「この実用新案は様式でないけれど上れる」ということは誤りである; int2 & fact13 -> int3: その地租改正法はかわゆいということはない; int3 & fact16 -> int4: あの貴社はＡＳＴでないか魘されるかまたは両方ともである; fact3 -> int5: もしもあの貴社がＡＳＴでないかもしくは魘されればそれは仕舞い易くない; int4 & int5 -> int6: あの貴社は仕舞い易いということはない; fact6 -> int7: なんらかの物は保存出来る; int7 & fact2 -> int8: あの貴社は仕舞い易い一方で著述でない; int8 -> int9: あの貴社は仕舞い易い; int6 & int9 -> int10: これは矛盾である; [assump1] & 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: あの貴社は著述であるということはない
事実25: 仮になにかは魘されないかまたはそれは様式であるならかわゆいということはない
事実26: もし仮にその物流活動全体がラップするとするとこの綿埃は着任しない
事実27: その地租改正法は間違え易い
事実28: もし「この実用新案はラップしないけど様式だ」ということは成り立たないならばあの物流活動全体はＡＳＴだということはない

仮説: その物流活動全体はラップする
1. 仮定1: 以下のように仮定する。その物流活動全体はラップする
2. 事実26と仮定1から、推論1: "この綿埃は着任しない"が導かれる
3. 推論1と事実22から、推論2: "「この実用新案は様式でないけれど上れる」ということは誤りである"が導かれる
4. 推論2と事実13から、推論3: "その地租改正法はかわゆいということはない"が導かれる
5. 推論3と事実16から、推論4: "あの貴社はＡＳＴでないか魘されるかまたは両方ともである"が導かれる
6. 事実3から、推論5: "もしもあの貴社がＡＳＴでないかもしくは魘されればそれは仕舞い易くない"が導かれる
7. 推論4と推論5から、推論6: "あの貴社は仕舞い易いということはない"が導かれる
8. 事実6から、推論7: "なんらかの物は保存出来る"が導かれる
9. 推論7と事実2から、推論8: "あの貴社は仕舞い易い一方で著述でない"が導かれる
10. 推論8から、推論9: "あの貴社は仕舞い易い"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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