あの細胞中は忍耐強い
fact1: この非法は抜け易くない fact2: もし仮にこの非法は湿っぽいが取り上げないとすればそれは利用し易くない fact3: この非法は湿っぽいということはないし更に取り上げるということはない fact4: もし仮にこの非法が湿っぽくなくてしかもそれが取り上げないとすると利用し易くない fact5: 利用し易くない物は抜け易くないが忘れ易い fact6: 仮にこの非法が抜け易くて加えてそれが忘れ易いとすればあの細胞中は忍耐強くない fact7: この非法が抜け易くないがそれが忘れ易いとするとあの細胞中は忍耐強いということはない fact8: 仮になにかは抜け易いとしたら「それは忘れ易いけれど利用し易いということはない」ということは事実と異なる fact9: 仮にこの非法が湿っぽいということはない一方で取り上げるならそれは利用し易いということはない
fact4 & fact3 -> int1: この非法は利用し易くない; fact5 -> int2: もし仮にこの非法が利用し易くないとしたらそれは抜け易くなくて更にそれは忘れ易い; int1 & int2 -> int3: この非法は抜け易くない一方で忘れ易い; int3 & fact7 -> hypothesis;
あの中止は忍耐強くないがしかし反映され易い
fact10 -> int4: 「もし仮にこの非法は抜け易いとすれば「この非法は忘れ易いが利用し易くない」ということは嘘である」ということは真実だ;
$facts$ = fact1: この非法は抜け易くない fact2: もし仮にこの非法は湿っぽいが取り上げないとすればそれは利用し易くない fact3: この非法は湿っぽいということはないし更に取り上げるということはない fact4: もし仮にこの非法が湿っぽくなくてしかもそれが取り上げないとすると利用し易くない fact5: 利用し易くない物は抜け易くないが忘れ易い fact6: 仮にこの非法が抜け易くて加えてそれが忘れ易いとすればあの細胞中は忍耐強くない fact7: この非法が抜け易くないがそれが忘れ易いとするとあの細胞中は忍耐強いということはない fact8: 仮になにかは抜け易いとしたら「それは忘れ易いけれど利用し易いということはない」ということは事実と異なる fact9: 仮にこの非法が湿っぽいということはない一方で取り上げるならそれは利用し易いということはない ; $hypothesis$ = あの細胞中は忍耐強い ; $proof$ = 
fact4 & fact3 -> int1: この非法は利用し易くない; fact5 -> int2: もし仮にこの非法が利用し易くないとしたらそれは抜け易くなくて更にそれは忘れ易い; int1 & int2 -> int3: この非法は抜け易くない一方で忘れ易い; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: この非法は抜け易くない
事実2: もし仮にこの非法は湿っぽいが取り上げないとすればそれは利用し易くない
事実3: この非法は湿っぽいということはないし更に取り上げるということはない
事実4: もし仮にこの非法が湿っぽくなくてしかもそれが取り上げないとすると利用し易くない
事実5: 利用し易くない物は抜け易くないが忘れ易い
事実6: 仮にこの非法が抜け易くて加えてそれが忘れ易いとすればあの細胞中は忍耐強くない
事実7: この非法が抜け易くないがそれが忘れ易いとするとあの細胞中は忍耐強いということはない
事実8: 仮になにかは抜け易いとしたら「それは忘れ易いけれど利用し易いということはない」ということは事実と異なる
事実9: 仮にこの非法が湿っぽいということはない一方で取り上げるならそれは利用し易いということはない

仮説: あの細胞中は忍耐強い
1. 事実4と事実3から、推論1: "この非法は利用し易くない"が導かれる
2. 事実5から、推論2: "もし仮にこの非法が利用し易くないとしたらそれは抜け易くなくて更にそれは忘れ易い"が導かれる
3. 推論1と推論2から、推論3: "この非法は抜け易くない一方で忘れ易い"が導かれる
4. 推論3と事実7から、仮説が否定される

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