「この片自己相関はゼネラル・モーターズだ」ということは真実である
fact1: この片自己相関はＡＥだ fact2: その当営業日はゼネラル・モーターズだ fact3: この片自己相関はゼネラル・モーターズだ fact4: あの扉ページはゼネラル・モーターズである fact5: あの二期前はゼネラル・モーターズである fact6: 「全ての物は掛け持ちする」ということは真実だ fact7: この片自己相関は間違え易い fact8: この流れ速度はゼネラル・モーターズだ
fact3 -> hypothesis;
fact3 -> hypothesis;
この片自己相関はゼネラル・モーターズでない
fact9 -> int1: その大后様は掛け持ちする;
$facts$ = fact1: この片自己相関はＡＥだ fact2: その当営業日はゼネラル・モーターズだ fact3: この片自己相関はゼネラル・モーターズだ fact4: あの扉ページはゼネラル・モーターズである fact5: あの二期前はゼネラル・モーターズである fact6: 「全ての物は掛け持ちする」ということは真実だ fact7: この片自己相関は間違え易い fact8: この流れ速度はゼネラル・モーターズだ ; $hypothesis$ = 「この片自己相関はゼネラル・モーターズだ」ということは真実である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この片自己相関はＡＥだ
事実2: その当営業日はゼネラル・モーターズだ
事実3: この片自己相関はゼネラル・モーターズだ
事実4: あの扉ページはゼネラル・モーターズである
事実5: あの二期前はゼネラル・モーターズである
事実6: 「全ての物は掛け持ちする」ということは真実だ
事実7: この片自己相関は間違え易い
事実8: この流れ速度はゼネラル・モーターズだ

仮説: 「この片自己相関はゼネラル・モーターズだ」ということは真実である
1. 事実3から、仮説が導かれる

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