あのテラーは謀殺しない
fact1: もしもこのコンパウンドが実存しないとすればこの神明は容易いかか細いかどちらもである fact2: 遅れ易いものは謀殺する fact3: もし仮に「このコンパウンドは実存しないけどそれは謀殺する」ということは成り立たないならあのテラーは謀殺しない fact4: しぶとさは掻き消すけれど旨しない fact5: このコンパウンドは実存しない fact6: もし仮になにかは掻き消すけどそれが旨しないとすればこのコンパウンドは遅れ易い fact7: もし仮にこの神明が容易いとしたらあのテラーは遅れ易い fact8: その燕尾服は実存しない fact9: 「もしもこの神明がか細いとすればあのテラーは遅れ易い」ということは誤りでない
fact1 & fact5 -> int1: この神明は容易いかあるいはか細いかあるいは両方ともだ; int1 & fact7 & fact9 -> int2: あのテラーは遅れ易い; fact2 -> int3: もしあのテラーが遅れ易いとすれば謀殺する; int2 & int3 -> hypothesis;
あのテラーは謀殺しない
fact10 -> int4: 仮にその麹漬けはしぶとさであるとすれば「それは掻き消すしおまけにそれは旨しない」ということは確かだ;
$facts$ = fact1: もしもこのコンパウンドが実存しないとすればこの神明は容易いかか細いかどちらもである fact2: 遅れ易いものは謀殺する fact3: もし仮に「このコンパウンドは実存しないけどそれは謀殺する」ということは成り立たないならあのテラーは謀殺しない fact4: しぶとさは掻き消すけれど旨しない fact5: このコンパウンドは実存しない fact6: もし仮になにかは掻き消すけどそれが旨しないとすればこのコンパウンドは遅れ易い fact7: もし仮にこの神明が容易いとしたらあのテラーは遅れ易い fact8: その燕尾服は実存しない fact9: 「もしもこの神明がか細いとすればあのテラーは遅れ易い」ということは誤りでない ; $hypothesis$ = あのテラーは謀殺しない ; $proof$ = 
fact1 & fact5 -> int1: この神明は容易いかあるいはか細いかあるいは両方ともだ; int1 & fact7 & fact9 -> int2: あのテラーは遅れ易い; fact2 -> int3: もしあのテラーが遅れ易いとすれば謀殺する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもこのコンパウンドが実存しないとすればこの神明は容易いかか細いかどちらもである
事実2: 遅れ易いものは謀殺する
事実3: もし仮に「このコンパウンドは実存しないけどそれは謀殺する」ということは成り立たないならあのテラーは謀殺しない
事実4: しぶとさは掻き消すけれど旨しない
事実5: このコンパウンドは実存しない
事実6: もし仮になにかは掻き消すけどそれが旨しないとすればこのコンパウンドは遅れ易い
事実7: もし仮にこの神明が容易いとしたらあのテラーは遅れ易い
事実8: その燕尾服は実存しない
事実9: 「もしもこの神明がか細いとすればあのテラーは遅れ易い」ということは誤りでない

仮説: あのテラーは謀殺しない
1. 事実1と事実5から、推論1: "この神明は容易いかあるいはか細いかあるいは両方ともだ"が導かれる
2. 推論1と事実7と事実9から、推論2: "あのテラーは遅れ易い"が導かれる
3. 事実2から、推論3: "もしあのテラーが遅れ易いとすれば謀殺する"が導かれる
4. 推論2と推論3から、仮説が否定される

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