DA Detective vagon A
S1A Sospechoso 1 vagon A
CS1 Cuchillo S1
SS1 Sangre en pañuelo de S1
S2A Sospechoso 2 vagon A
CS2 Cuchillo S2
SS2 Sangre en pañuelo de S2
VA Victima vagon A
S1MV Sospechoso 1 mata a la víctima
S2MV Sospechoso 2 mata a la víctima

(S1MV | S2MV) 
S1MV -> (CS1 & SS1) & ((S1A & VA & ~ DA) | (~ S1A & ~ VA & DA))
S2MV -> (CS2 & SS2) & ((S2A & VA & ~ DA) | (~ S2A & ~ VA & DA))
(CS2) & (SS1) & (~ SS2) & (~ DA)

FNC

~ S1MV | ((CS1 & SS1) & ((S1A & VA & ~ DA) | (~ S1A & ~ VA & DA)))
~ S1MV | (CS1 & SS1 & (S1A | ~ S1A) & (S1A | ~ VA) & (S1A | DA) & (VA | ~ S1A) & (VA | ~ VA) & (VA | DA) & (~ DA | ~ S1A) & (~ DA | ~ VA) & (~ DA | DA))

(S1MV | S2MV) & (CS1 | ~ S1MV) & (SS1 | ~ S1MV) & (S1A | ~ VA | ~ S1MV) & (S1A | DA | ~ S1MV) & (VA | ~ S1A | ~ S1MV) &  (VA | DA | ~ S1MV) & (~ DA | ~ S1A | ~ S1MV) & (~ DA | ~ VA | ~ S1MV)& (CS2 | ~ S2MV) & (SS2 | ~ S2MV) & (S2A | ~ VA | ~ S2MV) & (S2A | DA | ~ S2MV) & (VA | ~ S2A | ~ S2MV) &  (VA | DA | ~ S2MV) & (~ DA | ~ S1A | ~ S2MV) & (~ DA | ~ VA | ~ S2MV) & (CS2) & (SS1) & (~ SS2) & (~ DA)
