So if Carr is out then the statements "if Allen is out then Brown is in" and "if Allen is out then Brown is out" would both be true at the same time.
Vì vậy, nếu Carr đi ra ngoài thì cả hai khẳng định "nếu Allen ra ngoài thì Brown ở trong tiệm" và "nếu Allen ra ngoài thì Brown cũng ra ngoài" đều đúng.