だからさあ、お前Dの証言も考慮してる？
「そもそも会っていない」ケースが出るから何なんだよ？
Bが嘘つきでDを否定した場合「そもそも会っていない」というケースが出てくるんだろ？
そしてBが嘘つきだという設定のままDを肯定しているならちゃんと無罪っていう結果が出るだろうが。