the coaching amaretto happens.
sent1: the fact that the coaching amaretto occurs is true if the fact that the boodle does not occur and the coaching amaretto does not occur is false. sent2: the nontaxableness does not occur. sent3: if that the coaching hemp does not occur and the counterglow occurs is not right the coaching Canella-alba does not occur. sent4: if the articulatoriness happens not the plantigradeness but the Honduran occurs. sent5: the boodle does not occur. sent6: that the coaching amaretto occurs prevents the non-Arthurianness. sent7: if the brisking does not occur that the exocentricness does not occur but the consolation occurs hold. sent8: the non-managerialness and the boodle happens if the traversing does not occur. sent9: the Arthurianness does not occur if that not the managerialness but the boodle happens is right. sent10: the Arthurianness leads to the boodle. sent11: the brisking does not occur if both the non-plantigradeness and the Honduranness occurs. sent12: if the fact that the managerialness occurs and/or the traversing happens is not correct then the Arthurianness does not occur. sent13: the fact that either the managerialness occurs or the traversing occurs or both is not correct if the coaching sapodilla does not occur. sent14: the flush happens. sent15: the meteor happens if the gastricness occurs. sent16: the fact that that the coaching hemp does not occur and the counterglow happens is not correct if the veneering happens is not wrong. sent17: the plantigradeness does not occur and the brisking does not occur if the fact that the Honduran does not occur is correct. sent18: that the coaching sapodilla does not occur and the traversing does not occur is brought about by that the exocentricness does not occur. sent19: if the brisking does not occur the fact that the consolation does not occur and the exocentricness does not occur does not hold. sent20: if the coaching Canella-alba does not occur the articulatoriness and the banking happens. sent21: the coordinate does not occur. sent22: the reading albuterol happens. sent23: that both the veneering and the pasta happens is brought about by that the moderating does not occur.
void -> assump1: Let's assume that the coaching amaretto happens.; sent6 & assump1 -> int1: the Arthurianness happens.; int1 & sent10 -> int2: the boodle occurs.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the coaching amaretto happens.
$hypothesis$ = the coaching amaretto happens. ; $context$ = sent1: the fact that the coaching amaretto occurs is true if the fact that the boodle does not occur and the coaching amaretto does not occur is false. sent2: the nontaxableness does not occur. sent3: if that the coaching hemp does not occur and the counterglow occurs is not right the coaching Canella-alba does not occur. sent4: if the articulatoriness happens not the plantigradeness but the Honduran occurs. sent5: the boodle does not occur. sent6: that the coaching amaretto occurs prevents the non-Arthurianness. sent7: if the brisking does not occur that the exocentricness does not occur but the consolation occurs hold. sent8: the non-managerialness and the boodle happens if the traversing does not occur. sent9: the Arthurianness does not occur if that not the managerialness but the boodle happens is right. sent10: the Arthurianness leads to the boodle. sent11: the brisking does not occur if both the non-plantigradeness and the Honduranness occurs. sent12: if the fact that the managerialness occurs and/or the traversing happens is not correct then the Arthurianness does not occur. sent13: the fact that either the managerialness occurs or the traversing occurs or both is not correct if the coaching sapodilla does not occur. sent14: the flush happens. sent15: the meteor happens if the gastricness occurs. sent16: the fact that that the coaching hemp does not occur and the counterglow happens is not correct if the veneering happens is not wrong. sent17: the plantigradeness does not occur and the brisking does not occur if the fact that the Honduran does not occur is correct. sent18: that the coaching sapodilla does not occur and the traversing does not occur is brought about by that the exocentricness does not occur. sent19: if the brisking does not occur the fact that the consolation does not occur and the exocentricness does not occur does not hold. sent20: if the coaching Canella-alba does not occur the articulatoriness and the banking happens. sent21: the coordinate does not occur. sent22: the reading albuterol happens. sent23: that both the veneering and the pasta happens is brought about by that the moderating does not occur. ; $proof$ = 
void -> assump1: Let's assume that the coaching amaretto happens.; sent6 & assump1 -> int1: the Arthurianness happens.; int1 & sent10 -> int2: the boodle occurs.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__