この典座教訓は赤黒い
fact1: 「この典座教訓は捜し出せらないし壊れ易くない」ということは事実だ fact2: 仮にこの典座教訓が捜し出せらなくてまたそれが壊れ易くないとすると赤黒い
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: 「この典座教訓は捜し出せらないし壊れ易くない」ということは事実だ fact2: 仮にこの典座教訓が捜し出せらなくてまたそれが壊れ易くないとすると赤黒い ; $hypothesis$ = この典座教訓は赤黒い ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「この典座教訓は捜し出せらないし壊れ易くない」ということは事実だ
事実2: 仮にこの典座教訓が捜し出せらなくてまたそれが壊れ易くないとすると赤黒い

仮説: この典座教訓は赤黒い
1. 事実2と事実1から、仮説が導かれる

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