「このＥＣ条約は生き辛くて思い上がる」ということは成り立たない
fact1: あのルビーは儲け主義でないとしたら「このＥＣ条約は生き辛くてまた思い上がる」ということは間違っている fact2: あのルビーは儲け主義でない fact3: このＥＣ条約は生き辛いししかもそれは税関吏だ fact4: もしも「あのルビーは思い上がらない」ということは成り立てば「このＥＣ条約は儲け主義で生き辛い」ということは成り立たない fact5: あのルビーは生き辛くない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
このＥＣ条約は生き辛くて更に思い上がる
fact6 -> int1: このＥＣ条約は生き辛い;
$facts$ = fact1: あのルビーは儲け主義でないとしたら「このＥＣ条約は生き辛くてまた思い上がる」ということは間違っている fact2: あのルビーは儲け主義でない fact3: このＥＣ条約は生き辛いししかもそれは税関吏だ fact4: もしも「あのルビーは思い上がらない」ということは成り立てば「このＥＣ条約は儲け主義で生き辛い」ということは成り立たない fact5: あのルビーは生き辛くない ; $hypothesis$ = 「このＥＣ条約は生き辛くて思い上がる」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: あのルビーは儲け主義でないとしたら「このＥＣ条約は生き辛くてまた思い上がる」ということは間違っている
事実2: あのルビーは儲け主義でない
事実3: このＥＣ条約は生き辛いししかもそれは税関吏だ
事実4: もしも「あのルビーは思い上がらない」ということは成り立てば「このＥＣ条約は儲け主義で生き辛い」ということは成り立たない
事実5: あのルビーは生き辛くない

仮説: 「このＥＣ条約は生き辛くて思い上がる」ということは成り立たない
1. 事実1と事実2から、仮説が導かれる

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