the entrancing Tyne happens if the proctorship but not the scalloping surgery happens.
sent1: that the danger does not occur causes the Mancunianness. sent2: the proctorship happens. sent3: that the estuarineness and the non-pinealness happens brings about the non-Lebaneseness. sent4: if the proctorship does not occur then the overcharge occurs and the Papuan occurs. sent5: that the scalloping surgery does not occur and the defraying associationism does not occur yields the non-petalousness. sent6: if the danger does not occur then the Mancunianness occurs and the entrancing Tyne happens. sent7: the tempering Powell occurs and the orthographicness does not occur. sent8: the entrancing Tyne occurs if the proctorship and the scalloping surgery occurs. sent9: the defraying associationism does not occur. sent10: that the EW does not occur hold. sent11: the analogy does not occur and the panto does not occur.
void -> assump1: Let's assume that the proctorship but not the scalloping surgery happens.; assump1 -> int1: the scalloping surgery does not occur.; int1 & sent9 -> int2: the scalloping surgery does not occur and the defraying associationism does not occur.; sent5 & int2 -> int3: the petalousness does not occur.;
the overcharging happens and the Papuan occurs.
$hypothesis$ = the entrancing Tyne happens if the proctorship but not the scalloping surgery happens. ; $context$ = sent1: that the danger does not occur causes the Mancunianness. sent2: the proctorship happens. sent3: that the estuarineness and the non-pinealness happens brings about the non-Lebaneseness. sent4: if the proctorship does not occur then the overcharge occurs and the Papuan occurs. sent5: that the scalloping surgery does not occur and the defraying associationism does not occur yields the non-petalousness. sent6: if the danger does not occur then the Mancunianness occurs and the entrancing Tyne happens. sent7: the tempering Powell occurs and the orthographicness does not occur. sent8: the entrancing Tyne occurs if the proctorship and the scalloping surgery occurs. sent9: the defraying associationism does not occur. sent10: that the EW does not occur hold. sent11: the analogy does not occur and the panto does not occur. ; $proof$ = 
void -> assump1: Let's assume that the proctorship but not the scalloping surgery happens.; assump1 -> int1: the scalloping surgery does not occur.; int1 & sent9 -> int2: the scalloping surgery does not occur and the defraying associationism does not occur.; sent5 & int2 -> int3: the petalousness does not occur.; __UNKNOWN__