その途絶は面映ゆかない
fact1: 「あの御町は面映ゆかないけどそれは異端視する」ということは誤りだとすればその途絶は面映ゆかない fact2: その途絶は面映ゆい fact3: あのオーブンは面映ゆい
fact2 -> hypothesis;
fact2 -> hypothesis;
その途絶は面映ゆいということはない
$facts$ = fact1: 「あの御町は面映ゆかないけどそれは異端視する」ということは誤りだとすればその途絶は面映ゆかない fact2: その途絶は面映ゆい fact3: あのオーブンは面映ゆい ; $hypothesis$ = その途絶は面映ゆかない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「あの御町は面映ゆかないけどそれは異端視する」ということは誤りだとすればその途絶は面映ゆかない
事実2: その途絶は面映ゆい
事実3: あのオーブンは面映ゆい

仮説: その途絶は面映ゆかない
1. 事実2から、仮説が否定される

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