the diapason does know.
sent1: the spa is not a kind of a SCID but it is Jacobinic if the fact that the copal is mesonic is true. sent2: the copal is not a SCID but it is a PFLP. sent3: the copal is not non-mesonic.
sent1 & sent3 -> int1: the spa is not a SCID but it is Jacobinic.; int1 -> int2: the spa is Jacobinic.;
$hypothesis$ = the diapason does know. ; $context$ = sent1: the spa is not a kind of a SCID but it is Jacobinic if the fact that the copal is mesonic is true. sent2: the copal is not a SCID but it is a PFLP. sent3: the copal is not non-mesonic. ; $proof$ = 
sent1 & sent3 -> int1: the spa is not a SCID but it is Jacobinic.; int1 -> int2: the spa is Jacobinic.; __UNKNOWN__