the southland is not a yip.
sent1: the southland does prevent. sent2: if the southland is a kind of a yip it extinguishes southland. sent3: if something does extinguish southland then the southland is a yip. sent4: the southland does not extinguish southland if there is something such that the fact that it is lobular and it extinguish southland is not right.
void -> assump1: Let's assume that the southland is a yip.; sent2 & assump1 -> int1: the southland extinguishes southland.;
the southland is a yip.
$hypothesis$ = the southland is not a yip. ; $context$ = sent1: the southland does prevent. sent2: if the southland is a kind of a yip it extinguishes southland. sent3: if something does extinguish southland then the southland is a yip. sent4: the southland does not extinguish southland if there is something such that the fact that it is lobular and it extinguish southland is not right. ; $proof$ = 
void -> assump1: Let's assume that the southland is a yip.; sent2 & assump1 -> int1: the southland extinguishes southland.; __UNKNOWN__