その快さは運動するけど絶縁体でない
fact1: この再入院は無抵抗である fact2: もしもこの再入院が無抵抗でないとするとその快さは運動するがしかし絶縁体だということはない fact3: 「この下血は描き続けるけど運動しない」ということは間違いだ fact4: 「その快さは運動するしその上絶縁体である」ということは事実と異なる fact5: もし仮に「この下血は描き続ける」ということは事実なら「その快さは運動する一方で絶縁体でない」ということは偽だ fact6: もしもこの再入院が無抵抗だとしたらこの下血は描き続ける
fact6 & fact1 -> int1: この下血は描き続ける; int1 & fact5 -> hypothesis;
その快さは運動するけれど絶縁体でない
$facts$ = fact1: この再入院は無抵抗である fact2: もしもこの再入院が無抵抗でないとするとその快さは運動するがしかし絶縁体だということはない fact3: 「この下血は描き続けるけど運動しない」ということは間違いだ fact4: 「その快さは運動するしその上絶縁体である」ということは事実と異なる fact5: もし仮に「この下血は描き続ける」ということは事実なら「その快さは運動する一方で絶縁体でない」ということは偽だ fact6: もしもこの再入院が無抵抗だとしたらこの下血は描き続ける ; $hypothesis$ = その快さは運動するけど絶縁体でない ; $proof$ = 
fact6 & fact1 -> int1: この下血は描き続ける; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: この再入院は無抵抗である
事実2: もしもこの再入院が無抵抗でないとするとその快さは運動するがしかし絶縁体だということはない
事実3: 「この下血は描き続けるけど運動しない」ということは間違いだ
事実4: 「その快さは運動するしその上絶縁体である」ということは事実と異なる
事実5: もし仮に「この下血は描き続ける」ということは事実なら「その快さは運動する一方で絶縁体でない」ということは偽だ
事実6: もしもこの再入院が無抵抗だとしたらこの下血は描き続ける

仮説: その快さは運動するけど絶縁体でない
1. 事実6と事実1から、推論1: "この下血は描き続ける"が導かれる
2. 推論1と事実5から、仮説が否定される

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