あの大麻常習者は出湯である
fact1: その交換がちょろくないならばあの暴れ者は出湯だということはないかあるいはそれは驚嘆しないかもしくはどちらもである fact2: この暴れ者はちょろいなら「あの大麻常習者は出湯でない」ということは間違いである fact3: この暴れ者はちょろい
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
「あの大麻常習者は出湯でない」ということは本当である
$facts$ = fact1: その交換がちょろくないならばあの暴れ者は出湯だということはないかあるいはそれは驚嘆しないかもしくはどちらもである fact2: この暴れ者はちょろいなら「あの大麻常習者は出湯でない」ということは間違いである fact3: この暴れ者はちょろい ; $hypothesis$ = あの大麻常習者は出湯である ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: その交換がちょろくないならばあの暴れ者は出湯だということはないかあるいはそれは驚嘆しないかもしくはどちらもである
事実2: この暴れ者はちょろいなら「あの大麻常習者は出湯でない」ということは間違いである
事実3: この暴れ者はちょろい

仮説: あの大麻常習者は出湯である
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。