「もしもあのフィルム法が女っぽいということはないならこの直接的効果は移動しない一方で奪う」ということは偽である
fact1: もしなんらかの物が湛水するとしたらそれは女っぽいということはないけど逆上せ上がる fact2: 吉原芸者は移動しないけれど奪う fact3: 仮にあのフィルム法が女っぽくないならばこの直接的効果は吉原芸者である
void -> assump1: 以下のように仮定する。あのフィルム法は女っぽくない; fact3 & assump1 -> int1: この直接的効果は吉原芸者だ; fact2 -> int2: もし「この直接的効果は吉原芸者だ」ということは正しいとしたら移動するということはないけれど奪う; int1 & int2 -> int3: この直接的効果は移動しない一方で奪う; [assump1] & int3 -> hypothesis;
仮にあのバスタイムが湛水するとしたら女っぽくないけど逆上せ上がる
fact4 -> hypothesis;
$facts$ = fact1: もしなんらかの物が湛水するとしたらそれは女っぽいということはないけど逆上せ上がる fact2: 吉原芸者は移動しないけれど奪う fact3: 仮にあのフィルム法が女っぽくないならばこの直接的効果は吉原芸者である ; $hypothesis$ = 「もしもあのフィルム法が女っぽいということはないならこの直接的効果は移動しない一方で奪う」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのフィルム法は女っぽくない; fact3 & assump1 -> int1: この直接的効果は吉原芸者だ; fact2 -> int2: もし「この直接的効果は吉原芸者だ」ということは正しいとしたら移動するということはないけれど奪う; int1 & int2 -> int3: この直接的効果は移動しない一方で奪う; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が湛水するとしたらそれは女っぽいということはないけど逆上せ上がる
事実2: 吉原芸者は移動しないけれど奪う
事実3: 仮にあのフィルム法が女っぽくないならばこの直接的効果は吉原芸者である

仮説: 「もしもあのフィルム法が女っぽいということはないならこの直接的効果は移動しない一方で奪う」ということは偽である
1. 仮定1: 以下のように仮定する。あのフィルム法は女っぽくない
2. 事実3と仮定1から、推論1: "この直接的効果は吉原芸者だ"が導かれる
3. 事実2から、推論2: "もし「この直接的効果は吉原芸者だ」ということは正しいとしたら移動するということはないけれど奪う"が導かれる
4. 推論1と推論2から、推論3: "この直接的効果は移動しない一方で奪う"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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