the tramping does not occur.
sent1: the sensualizing eigenvalue happens and the lumbarness occurs. sent2: that the tramping occurs is prevented by that both the non-trinucleateness and the non-civilness occurs. sent3: the sensualizing eigenvalue is prevented by that the dishonorableness happens. sent4: the auroralness does not occur if the fact that the inexplicableness occurs is not false. sent5: the lotting and/or the inexplicableness happens. sent6: if that the sensualizing eigenvalue happens is correct that not the auroralness but the trinucleateness happens is wrong. sent7: that the non-civilness and the non-dishonorableness happens is caused by that the sighting happens. sent8: the tramp occurs if the inexplicableness happens but the lot does not occur. sent9: the inexplicableness does not occur if that both the non-trinucleateness and the auroralness occurs is not false. sent10: the lot brings about that the auroralness does not occur. sent11: the sighting occurs and the phalloplasty occurs.
sent5 & sent10 & sent4 -> int1: that the auroralness does not occur hold.; void -> assump1: Let's assume that the trinucleateness happens.; int1 & assump1 -> int2: not the auroralness but the trinucleateness occurs.; sent1 -> int3: the sensualizing eigenvalue occurs.; sent6 & int3 -> int4: that that the non-auroralness and the trinucleateness happens is not incorrect is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the trinucleateness does not occur.; sent11 -> int7: the sighting happens.; sent7 & int7 -> int8: both the non-civilness and the non-dishonorableness occurs.; int8 -> int9: that the civilness does not occur is correct.; int6 & int9 -> int10: both the non-trinucleateness and the non-civilness occurs.; int10 & sent2 -> hypothesis;
the tramping occurs.
$hypothesis$ = the tramping does not occur. ; $context$ = sent1: the sensualizing eigenvalue happens and the lumbarness occurs. sent2: that the tramping occurs is prevented by that both the non-trinucleateness and the non-civilness occurs. sent3: the sensualizing eigenvalue is prevented by that the dishonorableness happens. sent4: the auroralness does not occur if the fact that the inexplicableness occurs is not false. sent5: the lotting and/or the inexplicableness happens. sent6: if that the sensualizing eigenvalue happens is correct that not the auroralness but the trinucleateness happens is wrong. sent7: that the non-civilness and the non-dishonorableness happens is caused by that the sighting happens. sent8: the tramp occurs if the inexplicableness happens but the lot does not occur. sent9: the inexplicableness does not occur if that both the non-trinucleateness and the auroralness occurs is not false. sent10: the lot brings about that the auroralness does not occur. sent11: the sighting occurs and the phalloplasty occurs. ; $proof$ = 
sent5 & sent10 & sent4 -> int1: that the auroralness does not occur hold.; void -> assump1: Let's assume that the trinucleateness happens.; int1 & assump1 -> int2: not the auroralness but the trinucleateness occurs.; sent1 -> int3: the sensualizing eigenvalue occurs.; sent6 & int3 -> int4: that that the non-auroralness and the trinucleateness happens is not incorrect is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the trinucleateness does not occur.; sent11 -> int7: the sighting happens.; sent7 & int7 -> int8: both the non-civilness and the non-dishonorableness occurs.; int8 -> int9: that the civilness does not occur is correct.; int6 & int9 -> int10: both the non-trinucleateness and the non-civilness occurs.; int10 & sent2 -> hypothesis; __PROVED__