the fact that the eleven-plus occurs if the pushing eight-spot occurs does not hold.
sent1: the halfback happens or the pushing eight-spot occurs or both if the audition does not occur. sent2: either the planking or the espionage or both happens. sent3: if that the relaxation does not occur hold then the fact that the pushing eight-spot does not occur hold. sent4: if the espionage happens the enfilading happens. sent5: if the subdivision happens then the auditioning occurs. sent6: if the planking happens the enfilading does not occur and the subdivision does not occur. sent7: if the planking occurs the enfilade happens. sent8: the justification occurs. sent9: the eleven-plus occurs if the halfback does not occur but the audition occurs. sent10: the subdivision occurs if the enfilade occurs. sent11: if the halfback happens then the animateness does not occur and/or the relaxation does not occur. sent12: if the animating does not occur then that the pushing eight-spot does not occur is not wrong.
void -> assump1: Let's assume that the halfback happens.; sent11 & assump1 -> int1: the animating does not occur or the relaxation does not occur or both.; int1 & sent12 & sent3 -> int2: the pushing eight-spot does not occur.; void -> assump2: Let's assume that the pushing eight-spot happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the halfback does not occur.; sent2 & sent7 & sent4 -> int5: the enfilading happens.; sent10 & int5 -> int6: the fact that the subdivision happens hold.; sent5 & int6 -> int7: the fact that the audition occurs is correct.; int4 & int7 -> int8: not the halfback but the auditioning happens.; int8 & sent9 -> int9: the eleven-plus happens.; [assump2] & int9 -> hypothesis;
the deduction occurs.
$hypothesis$ = the fact that the eleven-plus occurs if the pushing eight-spot occurs does not hold. ; $context$ = sent1: the halfback happens or the pushing eight-spot occurs or both if the audition does not occur. sent2: either the planking or the espionage or both happens. sent3: if that the relaxation does not occur hold then the fact that the pushing eight-spot does not occur hold. sent4: if the espionage happens the enfilading happens. sent5: if the subdivision happens then the auditioning occurs. sent6: if the planking happens the enfilading does not occur and the subdivision does not occur. sent7: if the planking occurs the enfilade happens. sent8: the justification occurs. sent9: the eleven-plus occurs if the halfback does not occur but the audition occurs. sent10: the subdivision occurs if the enfilade occurs. sent11: if the halfback happens then the animateness does not occur and/or the relaxation does not occur. sent12: if the animating does not occur then that the pushing eight-spot does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the halfback happens.; sent11 & assump1 -> int1: the animating does not occur or the relaxation does not occur or both.; int1 & sent12 & sent3 -> int2: the pushing eight-spot does not occur.; void -> assump2: Let's assume that the pushing eight-spot happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the halfback does not occur.; sent2 & sent7 & sent4 -> int5: the enfilading happens.; sent10 & int5 -> int6: the fact that the subdivision happens hold.; sent5 & int6 -> int7: the fact that the audition occurs is correct.; int4 & int7 -> int8: not the halfback but the auditioning happens.; int8 & sent9 -> int9: the eleven-plus happens.; [assump2] & int9 -> hypothesis; __DISPROVED__