the kingbird adds Pyralidae if the guzzler does severalize Azerbaijani.
sent1: the guzzler adds Pyralidae. sent2: the fact that something is atonalistic is not false if it is a deadlock. sent3: something that does severalize Azerbaijani adds Pyralidae. sent4: the kingbird adds Pyralidae if the guzzler is atonalistic.
void -> assump1: Let's assume that the guzzler does severalize Azerbaijani.; sent2 -> int1: if the guzzler is a kind of a deadlock then it is atonalistic.;
$hypothesis$ = the kingbird adds Pyralidae if the guzzler does severalize Azerbaijani. ; $context$ = sent1: the guzzler adds Pyralidae. sent2: the fact that something is atonalistic is not false if it is a deadlock. sent3: something that does severalize Azerbaijani adds Pyralidae. sent4: the kingbird adds Pyralidae if the guzzler is atonalistic. ; $proof$ = 
void -> assump1: Let's assume that the guzzler does severalize Azerbaijani.; sent2 -> int1: if the guzzler is a kind of a deadlock then it is atonalistic.; __UNKNOWN__