この恵は感電する
fact1: 一号馬は硬直化するということはないけれど分かち難い fact2: 仮にその右側胸部誘導が認めるかあるいは一号馬ならばこのメチルは自民党総裁選でない fact3: 仮にこのメチルが認めるかそれが礼儀正しいかもしくは両方ともだとするとこの恵は感電しない fact4: あの実験法は認める fact5: もし仮に「一号馬でない一方で自民党総裁選である」物があるならばあのメチルは認める fact6: 「一号馬であるしさらに自民党総裁選である」物はある fact7: その右側胸部誘導は一号馬でない fact8: もしこのメチルが感電するかあるいはそれが一号馬であるということはないとしたらこの恵は感電する fact9: 「一号馬だということはない」物はある fact10: その右側胸部誘導は一号馬でないがそれは自民党総裁選である fact11: 自民党総裁選はある fact12: 仮にこのメチルが礼儀正しいならばあの恵は感電するということはない fact13: この恵は没落底でないが特需である
fact10 -> int1: 何らかの物は一号馬だということはないけど自民党総裁選だ; int1 & fact5 -> int2: このメチルは認める; int2 -> int3: このメチルは認めるかそれは礼儀正しい; int3 & fact3 -> hypothesis;
何らかのものは硬直化しないけれどそれは分かち難い
fact14 -> int4: もしこのメチルは一号馬であるなら硬直化しないが分かち難い;
$facts$ = fact1: 一号馬は硬直化するということはないけれど分かち難い fact2: 仮にその右側胸部誘導が認めるかあるいは一号馬ならばこのメチルは自民党総裁選でない fact3: 仮にこのメチルが認めるかそれが礼儀正しいかもしくは両方ともだとするとこの恵は感電しない fact4: あの実験法は認める fact5: もし仮に「一号馬でない一方で自民党総裁選である」物があるならばあのメチルは認める fact6: 「一号馬であるしさらに自民党総裁選である」物はある fact7: その右側胸部誘導は一号馬でない fact8: もしこのメチルが感電するかあるいはそれが一号馬であるということはないとしたらこの恵は感電する fact9: 「一号馬だということはない」物はある fact10: その右側胸部誘導は一号馬でないがそれは自民党総裁選である fact11: 自民党総裁選はある fact12: 仮にこのメチルが礼儀正しいならばあの恵は感電するということはない fact13: この恵は没落底でないが特需である ; $hypothesis$ = この恵は感電する ; $proof$ = 
fact10 -> int1: 何らかの物は一号馬だということはないけど自民党総裁選だ; int1 & fact5 -> int2: このメチルは認める; int2 -> int3: このメチルは認めるかそれは礼儀正しい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 一号馬は硬直化するということはないけれど分かち難い
事実2: 仮にその右側胸部誘導が認めるかあるいは一号馬ならばこのメチルは自民党総裁選でない
事実3: 仮にこのメチルが認めるかそれが礼儀正しいかもしくは両方ともだとするとこの恵は感電しない
事実4: あの実験法は認める
事実5: もし仮に「一号馬でない一方で自民党総裁選である」物があるならばあのメチルは認める
事実6: 「一号馬であるしさらに自民党総裁選である」物はある
事実7: その右側胸部誘導は一号馬でない
事実8: もしこのメチルが感電するかあるいはそれが一号馬であるということはないとしたらこの恵は感電する
事実9: 「一号馬だということはない」物はある
事実10: その右側胸部誘導は一号馬でないがそれは自民党総裁選である
事実11: 自民党総裁選はある
事実12: 仮にこのメチルが礼儀正しいならばあの恵は感電するということはない
事実13: この恵は没落底でないが特需である

仮説: この恵は感電する
1. 事実10から、推論1: "何らかの物は一号馬だということはないけど自民党総裁選だ"が導かれる
2. 推論1と事実5から、推論2: "このメチルは認める"が導かれる
3. 推論2から、推論3: "このメチルは認めるかそれは礼儀正しい"が導かれる
4. 推論3と事実3から、仮説が否定される

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