その登山電車は筋金だということはない
fact1: もし仮にその藪医者が改善すけれどえぐくないならその登山電車は筋金である fact2: もし仮にその藪医者が筋金であるかまたは衰微すればその登山電車は筋金だということはない fact3: もしその藪医者が衰微するとするとこのギリシャ人はえぐい fact4: その登山電車が親しないとするとその藪医者は筋金でしかもそれは家族同士だ fact5: その藪医者は改善すけれどえぐくない fact6: もし仮にあの先客が筋金でないしさらにそれが親しないとすればその藪医者は筋金だ fact7: なにかは家族同士でないならば筋金でなくて親しない fact8: もしもなにかは筋金であるとすればそれは衰微する
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
その登山電車は筋金でない
fact9 -> int1: あの先客は家族同士でないとしたら筋金でないし親しない;
$facts$ = fact1: もし仮にその藪医者が改善すけれどえぐくないならその登山電車は筋金である fact2: もし仮にその藪医者が筋金であるかまたは衰微すればその登山電車は筋金だということはない fact3: もしその藪医者が衰微するとするとこのギリシャ人はえぐい fact4: その登山電車が親しないとするとその藪医者は筋金でしかもそれは家族同士だ fact5: その藪医者は改善すけれどえぐくない fact6: もし仮にあの先客が筋金でないしさらにそれが親しないとすればその藪医者は筋金だ fact7: なにかは家族同士でないならば筋金でなくて親しない fact8: もしもなにかは筋金であるとすればそれは衰微する ; $hypothesis$ = その登山電車は筋金だということはない ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にその藪医者が改善すけれどえぐくないならその登山電車は筋金である
事実2: もし仮にその藪医者が筋金であるかまたは衰微すればその登山電車は筋金だということはない
事実3: もしその藪医者が衰微するとするとこのギリシャ人はえぐい
事実4: その登山電車が親しないとするとその藪医者は筋金でしかもそれは家族同士だ
事実5: その藪医者は改善すけれどえぐくない
事実6: もし仮にあの先客が筋金でないしさらにそれが親しないとすればその藪医者は筋金だ
事実7: なにかは家族同士でないならば筋金でなくて親しない
事実8: もしもなにかは筋金であるとすればそれは衰微する

仮説: その登山電車は筋金だということはない
1. 事実1と事実5から、仮説が否定される

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