あの情動はやばい
fact1: もしもあの源氏名はやばいならば「あの情動はやばい」ということは本当である fact2: なにがしかの物が来院するとしたらやばい fact3: もしもなにかは来院するかあるいは再発し易いとするとそれはやばくない fact4: あの情動は再発し易い
fact4 -> int1: あの情動は来院するかもしくは再発し易いかあるいは両方ともである; fact3 -> int2: もしもあの情動は来院するかもしくは再発し易いならそれはやばくない; int1 & int2 -> hypothesis;
「あの情動はやばい」ということは成り立つ
fact5 -> int3: 仮にあの源氏名が来院すればやばい;
$facts$ = fact1: もしもあの源氏名はやばいならば「あの情動はやばい」ということは本当である fact2: なにがしかの物が来院するとしたらやばい fact3: もしもなにかは来院するかあるいは再発し易いとするとそれはやばくない fact4: あの情動は再発し易い ; $hypothesis$ = あの情動はやばい ; $proof$ = 
fact4 -> int1: あの情動は来院するかもしくは再発し易いかあるいは両方ともである; fact3 -> int2: もしもあの情動は来院するかもしくは再発し易いならそれはやばくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの源氏名はやばいならば「あの情動はやばい」ということは本当である
事実2: なにがしかの物が来院するとしたらやばい
事実3: もしもなにかは来院するかあるいは再発し易いとするとそれはやばくない
事実4: あの情動は再発し易い

仮説: あの情動はやばい
1. 事実4から、推論1: "あの情動は来院するかもしくは再発し易いかあるいは両方ともである"が導かれる
2. 事実3から、推論2: "もしもあの情動は来院するかもしくは再発し易いならそれはやばくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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