Faithful orthogonal representations of graphs from partition logics