>> この相違から『「BC」と「C」のどちらか片方が正直で、もう片方が嘘つき』であることが確定
>> 正直か嘘つきの2つに分類するのだから、グループ分けとしては「BC」←対立→「C」になる

ごめんこれ違う

【訂正】
この相違から『「BD」と「C」のどちらか片方が正直で、もう片方が嘘つき』であることが確定
正直か嘘つきの2つに分類するのだから、グループ分けとしては「BD」←対立→「C」になる