the bathing occurs if the pleaching midst happens.
sent1: the rendezvousing CPR does not occur. sent2: the theophany does not occur and the MOT does not occur. sent3: the bathing occurs if the tail and the ineradicableness happens. sent4: the eradicableness does not occur if the Armenianness happens and the pleaching midst occurs. sent5: that the fact that the Armenianness does not occur and/or the rendezvousing CPR occurs hold is not true. sent6: the yielding does not occur if the theophany does not occur and the MOT does not occur.
void -> assump2: Let's assume that the Armenianness does not occur.; assump2 -> int1: either the non-Armenianness or the rendezvousing CPR or both happens.; int1 & sent5 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Armenianness occurs.; void -> assump1: Let's assume that the pleaching midst happens.; int3 & assump1 -> int4: the fact that both the Armenian and the pleaching midst happens is not incorrect.; int4 & sent4 -> int5: the eradicableness does not occur.; sent6 & sent2 -> int6: the yielding does not occur.;
$hypothesis$ = the bathing occurs if the pleaching midst happens. ; $context$ = sent1: the rendezvousing CPR does not occur. sent2: the theophany does not occur and the MOT does not occur. sent3: the bathing occurs if the tail and the ineradicableness happens. sent4: the eradicableness does not occur if the Armenianness happens and the pleaching midst occurs. sent5: that the fact that the Armenianness does not occur and/or the rendezvousing CPR occurs hold is not true. sent6: the yielding does not occur if the theophany does not occur and the MOT does not occur. ; $proof$ = 
void -> assump2: Let's assume that the Armenianness does not occur.; assump2 -> int1: either the non-Armenianness or the rendezvousing CPR or both happens.; int1 & sent5 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Armenianness occurs.; void -> assump1: Let's assume that the pleaching midst happens.; int3 & assump1 -> int4: the fact that both the Armenian and the pleaching midst happens is not incorrect.; int4 & sent4 -> int5: the eradicableness does not occur.; sent6 & sent2 -> int6: the yielding does not occur.; __UNKNOWN__