「そのデーラーは厚かましいし加えて見失い掛ける」ということは偽だ
fact1: もしそのデーラーが酢醤油だとすると見縊る fact2: この区分けは孫達だ fact3: もしもこの区分けが孫達であるとしたらそのデーラーは捩り上げる fact4: そのデーラーは見失い掛けるし密封出来る fact5: もしも何らかのものは捩り上げないけど酢醤油であるとしたらそれは孫達でない fact6: そのデーラーが見縊るとしたらそれは厚かましい fact7: もし仮になにがしかの物が捩り上げれば酢醤油だ
fact3 & fact2 -> int1: そのデーラーは捩り上げる; fact7 -> int2: もし仮にそのデーラーが捩り上げればそれは酢醤油である; int1 & int2 -> int3: そのデーラーは酢醤油である; int3 & fact1 -> int4: 「そのデーラーは見縊る」ということは正しい; int4 & fact6 -> int5: そのデーラーは厚かましい; fact4 -> int6: 「そのデーラーは見失い掛ける」ということは本当である; int5 & int6 -> hypothesis;
「そのデーラーは厚かましいしおまけに見失い掛ける」ということは誤りだ
fact8 -> int7: この区分けが捩り上げないがそれが酢醤油ならそれは孫達でない;
$facts$ = fact1: もしそのデーラーが酢醤油だとすると見縊る fact2: この区分けは孫達だ fact3: もしもこの区分けが孫達であるとしたらそのデーラーは捩り上げる fact4: そのデーラーは見失い掛けるし密封出来る fact5: もしも何らかのものは捩り上げないけど酢醤油であるとしたらそれは孫達でない fact6: そのデーラーが見縊るとしたらそれは厚かましい fact7: もし仮になにがしかの物が捩り上げれば酢醤油だ ; $hypothesis$ = 「そのデーラーは厚かましいし加えて見失い掛ける」ということは偽だ ; $proof$ = 
fact3 & fact2 -> int1: そのデーラーは捩り上げる; fact7 -> int2: もし仮にそのデーラーが捩り上げればそれは酢醤油である; int1 & int2 -> int3: そのデーラーは酢醤油である; int3 & fact1 -> int4: 「そのデーラーは見縊る」ということは正しい; int4 & fact6 -> int5: そのデーラーは厚かましい; fact4 -> int6: 「そのデーラーは見失い掛ける」ということは本当である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしそのデーラーが酢醤油だとすると見縊る
事実2: この区分けは孫達だ
事実3: もしもこの区分けが孫達であるとしたらそのデーラーは捩り上げる
事実4: そのデーラーは見失い掛けるし密封出来る
事実5: もしも何らかのものは捩り上げないけど酢醤油であるとしたらそれは孫達でない
事実6: そのデーラーが見縊るとしたらそれは厚かましい
事実7: もし仮になにがしかの物が捩り上げれば酢醤油だ

仮説: 「そのデーラーは厚かましいし加えて見失い掛ける」ということは偽だ
1. 事実3と事実2から、推論1: "そのデーラーは捩り上げる"が導かれる
2. 事実7から、推論2: "もし仮にそのデーラーが捩り上げればそれは酢醤油である"が導かれる
3. 推論1と推論2から、推論3: "そのデーラーは酢醤油である"が導かれる
4. 推論3と事実1から、推論4: "「そのデーラーは見縊る」ということは正しい"が導かれる
5. 推論4と事実6から、推論5: "そのデーラーは厚かましい"が導かれる
6. 事実4から、推論6: "「そのデーラーは見失い掛ける」ということは本当である"が導かれる
7. 推論5と推論6から、仮説が否定される

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