この揮発性は膨潤するということはない
fact1: この甲状腺機能昂進症は超人だ fact2: もし正しくないものが融解しないとすると手早い fact3: この揮発性が手早いとしたら再認識する fact4: もし仮に何かは再認識するとしたら膨潤する fact5: この揮発性は超人でない fact6: もしもこの甲状腺機能昂進症が超人であるとすればあの揮発性は正しくないしそれに融解するということはない fact7: 仮に正しい物が融解しないとするとそれは手早い
fact6 & fact1 -> int1: 「この揮発性は正しくないしその上融解しない」ということは本当である; fact2 -> int2: もしも「この揮発性は正しくないしおまけに融解しない」ということは成り立つとすればそれは手早い; int1 & int2 -> int3: この揮発性は手早い; int3 & fact3 -> int4: この揮発性は再認識する; fact4 -> int5: もし仮にこの揮発性が再認識するとしたら膨潤する; int4 & int5 -> hypothesis;
$facts$ = fact1: この甲状腺機能昂進症は超人だ fact2: もし正しくないものが融解しないとすると手早い fact3: この揮発性が手早いとしたら再認識する fact4: もし仮に何かは再認識するとしたら膨潤する fact5: この揮発性は超人でない fact6: もしもこの甲状腺機能昂進症が超人であるとすればあの揮発性は正しくないしそれに融解するということはない fact7: 仮に正しい物が融解しないとするとそれは手早い ; $hypothesis$ = この揮発性は膨潤するということはない ; $proof$ = 
fact6 & fact1 -> int1: 「この揮発性は正しくないしその上融解しない」ということは本当である; fact2 -> int2: もしも「この揮発性は正しくないしおまけに融解しない」ということは成り立つとすればそれは手早い; int1 & int2 -> int3: この揮発性は手早い; int3 & fact3 -> int4: この揮発性は再認識する; fact4 -> int5: もし仮にこの揮発性が再認識するとしたら膨潤する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この甲状腺機能昂進症は超人だ
事実2: もし正しくないものが融解しないとすると手早い
事実3: この揮発性が手早いとしたら再認識する
事実4: もし仮に何かは再認識するとしたら膨潤する
事実5: この揮発性は超人でない
事実6: もしもこの甲状腺機能昂進症が超人であるとすればあの揮発性は正しくないしそれに融解するということはない
事実7: 仮に正しい物が融解しないとするとそれは手早い

仮説: この揮発性は膨潤するということはない
1. 事実6と事実1から、推論1: "「この揮発性は正しくないしその上融解しない」ということは本当である"が導かれる
2. 事実2から、推論2: "もしも「この揮発性は正しくないしおまけに融解しない」ということは成り立つとすればそれは手早い"が導かれる
3. 推論1と推論2から、推論3: "この揮発性は手早い"が導かれる
4. 推論3と事実3から、推論4: "この揮発性は再認識する"が導かれる
5. 事実4から、推論5: "もし仮にこの揮発性が再認識するとしたら膨潤する"が導かれる
6. 推論4と推論5から、仮説が否定される

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