そのコンピュータ科学は廃嫡しない
fact1: あの幻想交響曲は交配する fact2: その負荷量は交配する fact3: その負荷量は説話集だ fact4: もし仮にその負荷量が説話集であるし交配するならそのコンピュータ科学は廃嫡しない
fact3 & fact2 -> int1: その負荷量は説話集であるし交配する; int1 & fact4 -> hypothesis;
$facts$ = fact1: あの幻想交響曲は交配する fact2: その負荷量は交配する fact3: その負荷量は説話集だ fact4: もし仮にその負荷量が説話集であるし交配するならそのコンピュータ科学は廃嫡しない ; $hypothesis$ = そのコンピュータ科学は廃嫡しない ; $proof$ = 
fact3 & fact2 -> int1: その負荷量は説話集であるし交配する; int1 & fact4 -> hypothesis; __PROVED__
事実1: あの幻想交響曲は交配する
事実2: その負荷量は交配する
事実3: その負荷量は説話集だ
事実4: もし仮にその負荷量が説話集であるし交配するならそのコンピュータ科学は廃嫡しない

仮説: そのコンピュータ科学は廃嫡しない
1. 事実3と事実2から、推論1: "その負荷量は説話集であるし交配する"が導かれる
2. 推論1と事実4から、仮説が導かれる

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