この医師は名乗り続けるということはない
fact1: 仮になにがしかの物が罹患し易くないとするとこの医師は名乗り続ける fact2: あの御帆立は紫外線照射する fact3: その正否は魅惑する fact4: 仮にある物が紫外線照射するしそれが魅惑するとしたら再発し易くない fact5: もし仮にあのサーセン石が再発し易くないならあの粉飾は罹患し易いということはない fact6: あのサーセン石は魅惑する fact7: あのサーセン石は紫外線照射する
fact7 & fact6 -> int1: あのサーセン石は紫外線照射するしまた魅惑する; fact4 -> int2: もしもあのサーセン石は紫外線照射するし魅惑するとすれば再発し易くない; int1 & int2 -> int3: あのサーセン石は再発し易くない; int3 & fact5 -> int4: あの粉飾は罹患し易いということはない; int4 -> int5: なんらかのものは罹患し易くない; int5 & fact1 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物が罹患し易くないとするとこの医師は名乗り続ける fact2: あの御帆立は紫外線照射する fact3: その正否は魅惑する fact4: 仮にある物が紫外線照射するしそれが魅惑するとしたら再発し易くない fact5: もし仮にあのサーセン石が再発し易くないならあの粉飾は罹患し易いということはない fact6: あのサーセン石は魅惑する fact7: あのサーセン石は紫外線照射する ; $hypothesis$ = この医師は名乗り続けるということはない ; $proof$ = 
fact7 & fact6 -> int1: あのサーセン石は紫外線照射するしまた魅惑する; fact4 -> int2: もしもあのサーセン石は紫外線照射するし魅惑するとすれば再発し易くない; int1 & int2 -> int3: あのサーセン石は再発し易くない; int3 & fact5 -> int4: あの粉飾は罹患し易いということはない; int4 -> int5: なんらかのものは罹患し易くない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が罹患し易くないとするとこの医師は名乗り続ける
事実2: あの御帆立は紫外線照射する
事実3: その正否は魅惑する
事実4: 仮にある物が紫外線照射するしそれが魅惑するとしたら再発し易くない
事実5: もし仮にあのサーセン石が再発し易くないならあの粉飾は罹患し易いということはない
事実6: あのサーセン石は魅惑する
事実7: あのサーセン石は紫外線照射する

仮説: この医師は名乗り続けるということはない
1. 事実7と事実6から、推論1: "あのサーセン石は紫外線照射するしまた魅惑する"が導かれる
2. 事実4から、推論2: "もしもあのサーセン石は紫外線照射するし魅惑するとすれば再発し易くない"が導かれる
3. 推論1と推論2から、推論3: "あのサーセン石は再発し易くない"が導かれる
4. 推論3と事実5から、推論4: "あの粉飾は罹患し易いということはない"が導かれる
5. 推論4から、推論5: "なんらかのものは罹患し易くない"が導かれる
6. 推論5と事実1から、仮説が否定される

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