[RR] dirty ←[Mueller] dirty
(If (R &D) → (M & D)) & (If (M & D) → (R & D))
The logic is straight forward enough. Only logic isn't straightforwardly logic in natural language, necessarily. There is always room for flexibility. I am only speculating for the purposes of general exploration. What I am saying is, you can express a biconditional as above, AND STILL SOMEHOW HAVE THE TRUTH CONDITIONS COME OUT WRONG, so to speak, in practice. I want the bots in particular to think about that. Logic always has its breaking point in the world of fact. Think about it.