that the correspondent is both a Lesotho and a houseful does not hold.
sent1: the Chilean is not a rubric if either the Hasid is a NOAA or it is not postmodernist or both. sent2: that the correspondent is a Lesotho that is a houseful is false if the Hasid is not a kind of a NOAA.
void -> assump1: Let's assume that the Hasid is a NOAA.; assump1 -> int1: the Hasid is a NOAA and/or it is not postmodernist.; int1 & sent1 -> int2: the Chilean is not a rubric.;
$hypothesis$ = that the correspondent is both a Lesotho and a houseful does not hold. ; $context$ = sent1: the Chilean is not a rubric if either the Hasid is a NOAA or it is not postmodernist or both. sent2: that the correspondent is a Lesotho that is a houseful is false if the Hasid is not a kind of a NOAA. ; $proof$ = 
void -> assump1: Let's assume that the Hasid is a NOAA.; assump1 -> int1: the Hasid is a NOAA and/or it is not postmodernist.; int1 & sent1 -> int2: the Chilean is not a rubric.; __UNKNOWN__