if that the soiling does not occur is right the cyprianness does not occur and the enskying tamer does not occur.
sent1: if the enskying horseback occurs then the enskying tamer does not occur and the Prussianness does not occur. sent2: the magistracy occurs. sent3: that the exalting ursinia does not occur is prevented by the cyprianness. sent4: if the gnarling happens the pageant does not occur and the ready-made does not occur. sent5: the magistracy and the enskying horseback happens.
void -> assump2: Let's assume that the cyprianness occurs.; sent3 & assump2 -> int1: the exalting ursinia occurs.; void -> assump1: Let's assume that the fact that the soiling does not occur is not wrong.; sent5 -> int2: the enskying horseback occurs.; sent1 & int2 -> int3: the enskying tamer does not occur and the Prussian does not occur.; int3 -> int4: that the enskying tamer happens does not hold.;
$hypothesis$ = if that the soiling does not occur is right the cyprianness does not occur and the enskying tamer does not occur. ; $context$ = sent1: if the enskying horseback occurs then the enskying tamer does not occur and the Prussianness does not occur. sent2: the magistracy occurs. sent3: that the exalting ursinia does not occur is prevented by the cyprianness. sent4: if the gnarling happens the pageant does not occur and the ready-made does not occur. sent5: the magistracy and the enskying horseback happens. ; $proof$ = 
void -> assump2: Let's assume that the cyprianness occurs.; sent3 & assump2 -> int1: the exalting ursinia occurs.; void -> assump1: Let's assume that the fact that the soiling does not occur is not wrong.; sent5 -> int2: the enskying horseback occurs.; sent1 & int2 -> int3: the enskying tamer does not occur and the Prussian does not occur.; int3 -> int4: that the enskying tamer happens does not hold.; __UNKNOWN__