the injuring does not occur if the waiving occurs.
sent1: if the injuring happens the cruelty occurs. sent2: the patricide occurs and the cruelty happens. sent3: if both the patricide and the waiving happens then the injuring does not occur. sent4: the injuring happens if the waiving occurs. sent5: the cruelty prevents the non-rattiness. sent6: if that the unrecoverableness happens and the complecting stairway occurs is false the complecting stairway does not occur. sent7: if the patricide occurs and the waiving happens the fact that the injuring occurs hold. sent8: that the complecting stairway does not occur brings about that both the injuring and the Martianness occurs. sent9: the cruelty occurs. sent10: the injuring happens. sent11: the anisotropicness happens and the lacustrineness occurs.
sent2 -> int1: the patricide happens.; void -> assump1: Let's assume that the waiving happens.; int1 & assump1 -> int2: that the patricide and the waiving occurs hold.; sent3 & int2 -> int3: the injuring does not occur.; [assump1] & int3 -> hypothesis;
the rattiness and the recombination happens.
$hypothesis$ = the injuring does not occur if the waiving occurs. ; $context$ = sent1: if the injuring happens the cruelty occurs. sent2: the patricide occurs and the cruelty happens. sent3: if both the patricide and the waiving happens then the injuring does not occur. sent4: the injuring happens if the waiving occurs. sent5: the cruelty prevents the non-rattiness. sent6: if that the unrecoverableness happens and the complecting stairway occurs is false the complecting stairway does not occur. sent7: if the patricide occurs and the waiving happens the fact that the injuring occurs hold. sent8: that the complecting stairway does not occur brings about that both the injuring and the Martianness occurs. sent9: the cruelty occurs. sent10: the injuring happens. sent11: the anisotropicness happens and the lacustrineness occurs. ; $proof$ = 
sent2 -> int1: the patricide happens.; void -> assump1: Let's assume that the waiving happens.; int1 & assump1 -> int2: that the patricide and the waiving occurs hold.; sent3 & int2 -> int3: the injuring does not occur.; [assump1] & int3 -> hypothesis; __PROVED__