このスカート丈は酔い易くない
fact1: もし仮にこのスカート丈は酔い易くないかもしくはタックス・ヘイブンでないかまたは両方ならばそれは酔い易くない fact2: このスカート丈は当帰だ fact3: もし仮に「このスカート丈はちぎれ易くないし険しかない」ということは成り立てば「それは清々しさである」ということは成り立つ fact4: 清々しさはタックス・ヘイブンである fact5: このスカート丈は険しかない fact6: このスカート丈はちぎれ易くないし険しかない fact7: その二列はちぎれ易い fact8: 仮になにがしかのものはタックス・ヘイブンであるとすれば酔い易い fact9: 仮にこのスカート丈がちぎれ易いということはないがしかし険しいとすればそれは清々しさだ
fact3 & fact6 -> int1: このスカート丈は清々しさである; fact4 -> int2: もしこのスカート丈は清々しさであるならばそれはタックス・ヘイブンである; int1 & int2 -> int3: このスカート丈はタックス・ヘイブンだ; fact8 -> int4: もしこのスカート丈がタックス・ヘイブンならば酔い易い; int3 & int4 -> hypothesis;
fact3 & fact6 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; fact8 -> int4: {A}{a} -> {C}{a}; int3 & int4 -> hypothesis;
このスカート丈は酔い易くない
$facts$ = fact1: もし仮にこのスカート丈は酔い易くないかもしくはタックス・ヘイブンでないかまたは両方ならばそれは酔い易くない fact2: このスカート丈は当帰だ fact3: もし仮に「このスカート丈はちぎれ易くないし険しかない」ということは成り立てば「それは清々しさである」ということは成り立つ fact4: 清々しさはタックス・ヘイブンである fact5: このスカート丈は険しかない fact6: このスカート丈はちぎれ易くないし険しかない fact7: その二列はちぎれ易い fact8: 仮になにがしかのものはタックス・ヘイブンであるとすれば酔い易い fact9: 仮にこのスカート丈がちぎれ易いということはないがしかし険しいとすればそれは清々しさだ ; $hypothesis$ = このスカート丈は酔い易くない ; $proof$ = 
fact3 & fact6 -> int1: このスカート丈は清々しさである; fact4 -> int2: もしこのスカート丈は清々しさであるならばそれはタックス・ヘイブンである; int1 & int2 -> int3: このスカート丈はタックス・ヘイブンだ; fact8 -> int4: もしこのスカート丈がタックス・ヘイブンならば酔い易い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこのスカート丈は酔い易くないかもしくはタックス・ヘイブンでないかまたは両方ならばそれは酔い易くない
事実2: このスカート丈は当帰だ
事実3: もし仮に「このスカート丈はちぎれ易くないし険しかない」ということは成り立てば「それは清々しさである」ということは成り立つ
事実4: 清々しさはタックス・ヘイブンである
事実5: このスカート丈は険しかない
事実6: このスカート丈はちぎれ易くないし険しかない
事実7: その二列はちぎれ易い
事実8: 仮になにがしかのものはタックス・ヘイブンであるとすれば酔い易い
事実9: 仮にこのスカート丈がちぎれ易いということはないがしかし険しいとすればそれは清々しさだ

仮説: このスカート丈は酔い易くない
1. 事実3と事実6から、推論1: "このスカート丈は清々しさである"が導かれる
2. 事実4から、推論2: "もしこのスカート丈は清々しさであるならばそれはタックス・ヘイブンである"が導かれる
3. 推論1と推論2から、推論3: "このスカート丈はタックス・ヘイブンだ"が導かれる
4. 事実8から、推論4: "もしこのスカート丈がタックス・ヘイブンならば酔い易い"が導かれる
5. 推論3と推論4から、仮説が否定される

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