the contrail does not occur but the blaspheming buffoonery happens if that the eldership happens hold.
sent1: the TELINT and the surprising argus happens. sent2: if the TELINT happens then the blaspheming buffoonery occurs. sent3: the lagging Kafiri occurs if the eldership happens. sent4: the surprising argus happens. sent5: the fact that the Call happens is not wrong if the fact that the lagging Kafiri happens hold. sent6: the fact that the lagging Pedionomus does not occur and/or the dalliance happens is false if the parliamentariness happens. sent7: that the Call and the contrail happens yields that the lagging Pedionomus does not occur. sent8: the lagging Pedionomus or the dalliance or both happens.
void -> assump1: Let's assume that the eldership happens.; sent3 & assump1 -> int1: the lagging Kafiri happens.; int1 & sent5 -> int2: the Call occurs.; void -> assump2: Let's assume that the contrail happens.; int2 & assump2 -> int3: the Call and the contrail occurs.; int3 & sent7 -> int4: the lagging Pedionomus does not occur.; int4 -> int5: the lagging Pedionomus does not occur or the dalliance happens or both.; sent1 -> int6: the TELINT occurs.; sent2 & int6 -> int7: the blaspheming buffoonery occurs.;
$hypothesis$ = the contrail does not occur but the blaspheming buffoonery happens if that the eldership happens hold. ; $context$ = sent1: the TELINT and the surprising argus happens. sent2: if the TELINT happens then the blaspheming buffoonery occurs. sent3: the lagging Kafiri occurs if the eldership happens. sent4: the surprising argus happens. sent5: the fact that the Call happens is not wrong if the fact that the lagging Kafiri happens hold. sent6: the fact that the lagging Pedionomus does not occur and/or the dalliance happens is false if the parliamentariness happens. sent7: that the Call and the contrail happens yields that the lagging Pedionomus does not occur. sent8: the lagging Pedionomus or the dalliance or both happens. ; $proof$ = 
void -> assump1: Let's assume that the eldership happens.; sent3 & assump1 -> int1: the lagging Kafiri happens.; int1 & sent5 -> int2: the Call occurs.; void -> assump2: Let's assume that the contrail happens.; int2 & assump2 -> int3: the Call and the contrail occurs.; int3 & sent7 -> int4: the lagging Pedionomus does not occur.; int4 -> int5: the lagging Pedionomus does not occur or the dalliance happens or both.; sent1 -> int6: the TELINT occurs.; sent2 & int6 -> int7: the blaspheming buffoonery occurs.; __UNKNOWN__