the avianness occurs and/or the cacophony happens.
sent1: that the weightlessness happens and the bargaining calliope happens is not correct. sent2: if the weightlessness happens the bargaining epoch does not occur. sent3: if both the non-phrenicness and the feminist happens then the griping locking occurs. sent4: the griping boorishness does not occur. sent5: the weightlessness does not occur. sent6: the strike happens. sent7: if the fact that not the rigging but the funnel occurs does not hold the fact that the agreement does not occur is not false. sent8: the postbiblicalness does not occur. sent9: the indicating occurs. sent10: the auxeticness happens. sent11: that both the bargaining epoch and the auxeticness occurs is true. sent12: the percussion happens. sent13: if that the avianness or the bargaining epoch or both happens is incorrect then the icing does not occur. sent14: the bargaining epoch does not occur if that both the non-weightlessness and the bargaining calliope happens is not right. sent15: the caricaturing tricycle does not occur but the amoebicness happens. sent16: the pitching occurs if the detriment does not occur and the agreement occurs. sent17: the electroencephalographicness does not occur. sent18: that the weightlessness occurs and the bargaining calliope occurs causes that the avianness happens. sent19: the reassignment happens and/or the Bath happens. sent20: the expecting occurs if the outdoorness and the postbiblicalness occurs. sent21: that the Bath happens and/or the griping flooding occurs hold.
void -> assump1: Let's assume that the fact that not the weightlessness but the bargaining calliope happens is wrong.; sent14 & assump1 -> int1: that the bargaining epoch does not occur is not wrong.; sent11 -> int2: the bargaining epoch occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the weightlessness does not occur and the bargaining calliope happens.;
that the avianness and/or the cacophony occurs does not hold.
 -> hypothesis;
$hypothesis$ = the avianness occurs and/or the cacophony happens. ; $context$ = sent1: that the weightlessness happens and the bargaining calliope happens is not correct. sent2: if the weightlessness happens the bargaining epoch does not occur. sent3: if both the non-phrenicness and the feminist happens then the griping locking occurs. sent4: the griping boorishness does not occur. sent5: the weightlessness does not occur. sent6: the strike happens. sent7: if the fact that not the rigging but the funnel occurs does not hold the fact that the agreement does not occur is not false. sent8: the postbiblicalness does not occur. sent9: the indicating occurs. sent10: the auxeticness happens. sent11: that both the bargaining epoch and the auxeticness occurs is true. sent12: the percussion happens. sent13: if that the avianness or the bargaining epoch or both happens is incorrect then the icing does not occur. sent14: the bargaining epoch does not occur if that both the non-weightlessness and the bargaining calliope happens is not right. sent15: the caricaturing tricycle does not occur but the amoebicness happens. sent16: the pitching occurs if the detriment does not occur and the agreement occurs. sent17: the electroencephalographicness does not occur. sent18: that the weightlessness occurs and the bargaining calliope occurs causes that the avianness happens. sent19: the reassignment happens and/or the Bath happens. sent20: the expecting occurs if the outdoorness and the postbiblicalness occurs. sent21: that the Bath happens and/or the griping flooding occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the weightlessness but the bargaining calliope happens is wrong.; sent14 & assump1 -> int1: that the bargaining epoch does not occur is not wrong.; sent11 -> int2: the bargaining epoch occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the weightlessness does not occur and the bargaining calliope happens.; __UNKNOWN__