その合算は社交クラブでない
fact1: あの先着は満足し切るということはないけどオペロンだ fact2: 仮にあの先着が満足し切らないがしかしそれがオペロンならばその合算は社交クラブでない
fact2 & fact1 -> hypothesis;
$facts$ = fact1: あの先着は満足し切るということはないけどオペロンだ fact2: 仮にあの先着が満足し切らないがしかしそれがオペロンならばその合算は社交クラブでない ; $hypothesis$ = その合算は社交クラブでない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの先着は満足し切るということはないけどオペロンだ
事実2: 仮にあの先着が満足し切らないがしかしそれがオペロンならばその合算は社交クラブでない

仮説: その合算は社交クラブでない
1. 事実2と事実1から、仮説が導かれる

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