この円相場は此れ有らない
fact1: もしもなにかはハムレット復讐しないけどそれがおどろおどろしいとするとそれは此れ有りということはない fact2: この円相場は此れ有りし加えておどろおどろしい fact3: 痛ましくない物は音するしおどろおどろしい
fact2 -> hypothesis;
fact2 -> hypothesis;
この円相場は此れ有らない
fact5 -> int1: もしもこの円相場がハムレット復讐しないがしかしおどろおどろしいとしたら此れ有りということはない; fact4 -> int2: もしこの円相場が痛ましいということはないとすれば音するしそれにそれはおどろおどろしい;
$facts$ = fact1: もしもなにかはハムレット復讐しないけどそれがおどろおどろしいとするとそれは此れ有りということはない fact2: この円相場は此れ有りし加えておどろおどろしい fact3: 痛ましくない物は音するしおどろおどろしい ; $hypothesis$ = この円相場は此れ有らない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしもなにかはハムレット復讐しないけどそれがおどろおどろしいとするとそれは此れ有りということはない
事実2: この円相場は此れ有りし加えておどろおどろしい
事実3: 痛ましくない物は音するしおどろおどろしい

仮説: この円相場は此れ有らない
1. 事実2から、仮説が否定される

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