the leaping Tiepolo occurs.
sent1: the consignment is prevented by that that the reception but not the guggling Jarrell happens is correct. sent2: the gunning does not occur if the fact that the reception occurs but the guggling Jarrell does not occur is false. sent3: that the leaping rebuke but not the dangling cocobolo occurs does not hold if the gun does not occur. sent4: if the fact that the leaping rebuke occurs and the dangling cocobolo does not occur is false then the leaping Tiepolo occurs. sent5: the moon happens. sent6: the nonretractileness happens and the leaping oblation does not occur. sent7: that the consignment occurs and/or that the gunning does not occur is triggered by that the leaping rebuke does not occur. sent8: if the mooning occurs the consignment happens. sent9: the fact that the indirectness and the non-optativeness happens is incorrect. sent10: that the germiness happens but the leaping oblation does not occur prevents the surging.
void -> assump1: Let's assume that the reception but not the guggling Jarrell happens.; sent1 & assump1 -> int1: the consignment does not occur.; sent8 & sent5 -> int2: the fact that the consignment occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the reception occurs but the guggling Jarrell does not occur is wrong.; int4 & sent2 -> int5: the gun does not occur.; int5 & sent3 -> int6: the fact that the leaping rebuke happens but the dangling cocobolo does not occur is false.; int6 & sent4 -> hypothesis;
the leaping Tiepolo does not occur.
$hypothesis$ = the leaping Tiepolo occurs. ; $context$ = sent1: the consignment is prevented by that that the reception but not the guggling Jarrell happens is correct. sent2: the gunning does not occur if the fact that the reception occurs but the guggling Jarrell does not occur is false. sent3: that the leaping rebuke but not the dangling cocobolo occurs does not hold if the gun does not occur. sent4: if the fact that the leaping rebuke occurs and the dangling cocobolo does not occur is false then the leaping Tiepolo occurs. sent5: the moon happens. sent6: the nonretractileness happens and the leaping oblation does not occur. sent7: that the consignment occurs and/or that the gunning does not occur is triggered by that the leaping rebuke does not occur. sent8: if the mooning occurs the consignment happens. sent9: the fact that the indirectness and the non-optativeness happens is incorrect. sent10: that the germiness happens but the leaping oblation does not occur prevents the surging. ; $proof$ = 
void -> assump1: Let's assume that the reception but not the guggling Jarrell happens.; sent1 & assump1 -> int1: the consignment does not occur.; sent8 & sent5 -> int2: the fact that the consignment occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the reception occurs but the guggling Jarrell does not occur is wrong.; int4 & sent2 -> int5: the gun does not occur.; int5 & sent3 -> int6: the fact that the leaping rebuke happens but the dangling cocobolo does not occur is false.; int6 & sent4 -> hypothesis; __PROVED__