この小児麻痺は忍び難い
fact1: とあるものは電離しなくてそれはフェイシングであるということはない fact2: 「灯し難くない」ものはある fact3: 「根深いということはない」物はある fact4: 「灯し難くないしそれに根深いということはない」ものがあるとすればあの小児麻痺は忍び難くない fact5: 仮にこの毛様体が灯し難くないとしたらこの南北戦争後は根深くない fact6: もし仮にとあるものが根深くなくておまけにそれが灯し難くないならばこの毛様体は忍び難くない fact7: もしも「電離するし更にフェイシングでない」物があるとするとこの毛様体は灯し難いということはない fact8: もし仮にとあるものが電離しないしフェイシングでないとしたら「この毛様体は灯し難いということはない」ということは誤りでない fact9: 「灯し難い一方で根深くない」物はある fact10: この南北戦争後は根深くない fact11: なんらかの物は灯し難くないが根深い fact12: もし仮に「電離しないしフェイシングである」物があるとしたらこの毛様体は灯し難くない fact13: もし仮にこの毛様体が灯し難くないならばこの南北戦争後は灯し難くないしおまけに根深いということはない fact14: なにがしかのものは灯し難くないし更にそれは忍び難くない
fact1 & fact8 -> int1: この毛様体は灯し難くない; int1 & fact13 -> int2: この南北戦争後は灯し難いということはないしそれは根深くない; int2 -> int3: 灯し難くないしその上根深くないものはある; int3 & fact4 -> hypothesis;
$facts$ = fact1: とあるものは電離しなくてそれはフェイシングであるということはない fact2: 「灯し難くない」ものはある fact3: 「根深いということはない」物はある fact4: 「灯し難くないしそれに根深いということはない」ものがあるとすればあの小児麻痺は忍び難くない fact5: 仮にこの毛様体が灯し難くないとしたらこの南北戦争後は根深くない fact6: もし仮にとあるものが根深くなくておまけにそれが灯し難くないならばこの毛様体は忍び難くない fact7: もしも「電離するし更にフェイシングでない」物があるとするとこの毛様体は灯し難いということはない fact8: もし仮にとあるものが電離しないしフェイシングでないとしたら「この毛様体は灯し難いということはない」ということは誤りでない fact9: 「灯し難い一方で根深くない」物はある fact10: この南北戦争後は根深くない fact11: なんらかの物は灯し難くないが根深い fact12: もし仮に「電離しないしフェイシングである」物があるとしたらこの毛様体は灯し難くない fact13: もし仮にこの毛様体が灯し難くないならばこの南北戦争後は灯し難くないしおまけに根深いということはない fact14: なにがしかのものは灯し難くないし更にそれは忍び難くない ; $hypothesis$ = この小児麻痺は忍び難い ; $proof$ = 
fact1 & fact8 -> int1: この毛様体は灯し難くない; int1 & fact13 -> int2: この南北戦争後は灯し難いということはないしそれは根深くない; int2 -> int3: 灯し難くないしその上根深くないものはある; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: とあるものは電離しなくてそれはフェイシングであるということはない
事実2: 「灯し難くない」ものはある
事実3: 「根深いということはない」物はある
事実4: 「灯し難くないしそれに根深いということはない」ものがあるとすればあの小児麻痺は忍び難くない
事実5: 仮にこの毛様体が灯し難くないとしたらこの南北戦争後は根深くない
事実6: もし仮にとあるものが根深くなくておまけにそれが灯し難くないならばこの毛様体は忍び難くない
事実7: もしも「電離するし更にフェイシングでない」物があるとするとこの毛様体は灯し難いということはない
事実8: もし仮にとあるものが電離しないしフェイシングでないとしたら「この毛様体は灯し難いということはない」ということは誤りでない
事実9: 「灯し難い一方で根深くない」物はある
事実10: この南北戦争後は根深くない
事実11: なんらかの物は灯し難くないが根深い
事実12: もし仮に「電離しないしフェイシングである」物があるとしたらこの毛様体は灯し難くない
事実13: もし仮にこの毛様体が灯し難くないならばこの南北戦争後は灯し難くないしおまけに根深いということはない
事実14: なにがしかのものは灯し難くないし更にそれは忍び難くない

仮説: この小児麻痺は忍び難い
1. 事実1と事実8から、推論1: "この毛様体は灯し難くない"が導かれる
2. 推論1と事実13から、推論2: "この南北戦争後は灯し難いということはないしそれは根深くない"が導かれる
3. 推論2から、推論3: "灯し難くないしその上根深くないものはある"が導かれる
4. 推論3と事実4から、仮説が否定される

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