that the Austronesianness occurs and/or the ridding marshalship occurs if the booking toe does not occur does not hold.
sent1: the ordinance does not occur and the booking toe happens if the Bayesianness does not occur. sent2: either the interrogation occurs or the fistfighting happens or both. sent3: the calvary results in that the Austronesian occurs. sent4: if both the booking toe and the non-Bayesianness happens the fact that the residual happens is true. sent5: the Bayesianness occurs. sent6: that the calvary and the ridding marshalship happens is wrong if the Austronesianness does not occur. sent7: that both the booking toe and the Bayesianness occurs is wrong. sent8: the softness occurs. sent9: the residual happens if that the booking toe and the non-Bayesianness happens is not true. sent10: if the residual happens the calvary happens. sent11: either the Austronesian happens or the ridding marshalship occurs or both if the booking toe happens.
void -> assump2: Let's assume that the booking toe but not the Bayesianness happens.; assump2 -> int1: the booking toe occurs.; void -> assump1: Let's assume that the booking toe does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the booking toe and the non-Bayesianness happens is not true.; int3 & sent9 -> int4: the residualness occurs.; int4 & sent10 -> int5: the calvary occurs.; int5 & sent3 -> int6: the Austronesianness happens.; int6 -> int7: either the Austronesian occurs or the ridding marshalship occurs or both.; [assump1] & int7 -> hypothesis;
the ordinance does not occur.
$hypothesis$ = that the Austronesianness occurs and/or the ridding marshalship occurs if the booking toe does not occur does not hold. ; $context$ = sent1: the ordinance does not occur and the booking toe happens if the Bayesianness does not occur. sent2: either the interrogation occurs or the fistfighting happens or both. sent3: the calvary results in that the Austronesian occurs. sent4: if both the booking toe and the non-Bayesianness happens the fact that the residual happens is true. sent5: the Bayesianness occurs. sent6: that the calvary and the ridding marshalship happens is wrong if the Austronesianness does not occur. sent7: that both the booking toe and the Bayesianness occurs is wrong. sent8: the softness occurs. sent9: the residual happens if that the booking toe and the non-Bayesianness happens is not true. sent10: if the residual happens the calvary happens. sent11: either the Austronesian happens or the ridding marshalship occurs or both if the booking toe happens. ; $proof$ = 
void -> assump2: Let's assume that the booking toe but not the Bayesianness happens.; assump2 -> int1: the booking toe occurs.; void -> assump1: Let's assume that the booking toe does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the booking toe and the non-Bayesianness happens is not true.; int3 & sent9 -> int4: the residualness occurs.; int4 & sent10 -> int5: the calvary occurs.; int5 & sent3 -> int6: the Austronesianness happens.; int6 -> int7: either the Austronesian occurs or the ridding marshalship occurs or both.; [assump1] & int7 -> hypothesis; __DISPROVED__