「そのビーチコーミングは着易くてかつそれは潜水する」ということは間違いである
fact1: その循環軌道は潜水する fact2: なにかはジェイニーである fact3: そのビーチコーミングは思慮深いしさらに着易い fact4: ある物がジェイニーであるならばあのビーチコーミングは着易くてかつ潜水する
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: その循環軌道は潜水する fact2: なにかはジェイニーである fact3: そのビーチコーミングは思慮深いしさらに着易い fact4: ある物がジェイニーであるならばあのビーチコーミングは着易くてかつ潜水する ; $hypothesis$ = 「そのビーチコーミングは着易くてかつそれは潜水する」ということは間違いである ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: その循環軌道は潜水する
事実2: なにかはジェイニーである
事実3: そのビーチコーミングは思慮深いしさらに着易い
事実4: ある物がジェイニーであるならばあのビーチコーミングは着易くてかつ潜水する

仮説: 「そのビーチコーミングは着易くてかつそれは潜水する」ということは間違いである
1. 事実2と事実4から、仮説が否定される

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