if the fact that the infrequentness occurs is not false then the apocryphalness but not the screech happens.
sent1: the interleaving tyrolean happens. sent2: that the cuckoldry happens brings about the irresistibleness. sent3: the premiership and the interleaving tyrolean happens. sent4: the cuckoldry occurs. sent5: if the irresistibleness happens then the apocryphalness happens. sent6: the numeral happens.
void -> assump1: Let's assume that the screech happens.; void -> assump2: Let's assume that the infrequentness happens.; assump1 & assump2 -> int1: the screech and the infrequentness happens.; sent3 -> int2: the premiership occurs.; sent2 & sent4 -> int3: the irresistibleness occurs.; sent5 & int3 -> int4: the apocryphalness occurs.;
$hypothesis$ = if the fact that the infrequentness occurs is not false then the apocryphalness but not the screech happens. ; $context$ = sent1: the interleaving tyrolean happens. sent2: that the cuckoldry happens brings about the irresistibleness. sent3: the premiership and the interleaving tyrolean happens. sent4: the cuckoldry occurs. sent5: if the irresistibleness happens then the apocryphalness happens. sent6: the numeral happens. ; $proof$ = 
void -> assump1: Let's assume that the screech happens.; void -> assump2: Let's assume that the infrequentness happens.; assump1 & assump2 -> int1: the screech and the infrequentness happens.; sent3 -> int2: the premiership occurs.; sent2 & sent4 -> int3: the irresistibleness occurs.; sent5 & int3 -> int4: the apocryphalness occurs.; __UNKNOWN__