... this as two different problems in one. You have the first ... is cleaned", which is then used in part two "unless F is ... cleaned, then F must be in 2. If F is NOT ... in 2, F is not cleaned, ... . So anytime F is not in 2, F must be cleaned ...