うし 推論 すいろんであれば
ushiromukisuirondeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 後ろ向き推論

1. If backward reasoning; If retroinference

Ba Conditional
Computing