その排ガス処理は来訪しない
fact1: その僕以外は見出だし難くないか等しくないかあるいは両方だ fact2: その僕以外は見出だし難いかもしくは等しくないかあるいは両方ともだ fact3: もしその僕以外が見出だし難くないかあるいは等しくないかもしくは両方ともであるならその排ガス処理は来訪しない
fact3 & fact1 -> hypothesis;
$facts$ = fact1: その僕以外は見出だし難くないか等しくないかあるいは両方だ fact2: その僕以外は見出だし難いかもしくは等しくないかあるいは両方ともだ fact3: もしその僕以外が見出だし難くないかあるいは等しくないかもしくは両方ともであるならその排ガス処理は来訪しない ; $hypothesis$ = その排ガス処理は来訪しない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その僕以外は見出だし難くないか等しくないかあるいは両方だ
事実2: その僕以外は見出だし難いかもしくは等しくないかあるいは両方ともだ
事実3: もしその僕以外が見出だし難くないかあるいは等しくないかもしくは両方ともであるならその排ガス処理は来訪しない

仮説: その排ガス処理は来訪しない
1. 事実3と事実1から、仮説が導かれる

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