the irradiating idolater happens.
sent1: the fact that the bicentennialness does not occur hold. sent2: the meeting and/or the horizontalness yields that the watching does not occur. sent3: the aging ND happens. sent4: if the fact that both the watch and the meeting occurs is false the fact that the meeting does not occur is not false. sent5: the fact that the horizontalness happens is not incorrect if the irradiating idolater occurs. sent6: if the bicentennialness does not occur the watching occurs and the lengthwiseness happens.
void -> assump1: Let's assume that that the irradiating idolater occurs is not wrong.; sent5 & assump1 -> int1: the horizontalness occurs.; int1 -> int2: the meet and/or the horizontal occurs.; int2 & sent2 -> int3: the watching does not occur.; sent6 & sent1 -> int4: the watch and the lengthwiseness occurs.; int4 -> int5: the watching happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the irradiating idolater happens.
$hypothesis$ = the irradiating idolater happens. ; $context$ = sent1: the fact that the bicentennialness does not occur hold. sent2: the meeting and/or the horizontalness yields that the watching does not occur. sent3: the aging ND happens. sent4: if the fact that both the watch and the meeting occurs is false the fact that the meeting does not occur is not false. sent5: the fact that the horizontalness happens is not incorrect if the irradiating idolater occurs. sent6: if the bicentennialness does not occur the watching occurs and the lengthwiseness happens. ; $proof$ = 
void -> assump1: Let's assume that that the irradiating idolater occurs is not wrong.; sent5 & assump1 -> int1: the horizontalness occurs.; int1 -> int2: the meet and/or the horizontal occurs.; int2 & sent2 -> int3: the watching does not occur.; sent6 & sent1 -> int4: the watch and the lengthwiseness occurs.; int4 -> int5: the watching happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__