the fact that the lory does not hoodoo NRC is not incorrect.
sent1: the perinatologist hoodoos two-by-four. sent2: if the perinatologist does not hoodoo lory but it does hoodoo two-by-four the lory is not univalve. sent3: the perinatologist does not hoodoo lory but it hoodoos two-by-four.
sent2 & sent3 -> int1: the lory is not univalve.;
$hypothesis$ = the fact that the lory does not hoodoo NRC is not incorrect. ; $context$ = sent1: the perinatologist hoodoos two-by-four. sent2: if the perinatologist does not hoodoo lory but it does hoodoo two-by-four the lory is not univalve. sent3: the perinatologist does not hoodoo lory but it hoodoos two-by-four. ; $proof$ = 
sent2 & sent3 -> int1: the lory is not univalve.; __UNKNOWN__