>>2927360 (lb)
[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, necessariIy. There is aIways 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.
Don't be scared.