the fact that the cleaning Jinja happens if the blastoff happens does not hold.
sent1: that the mugging happens and the genuineness does not occur is not correct if the creaseproofness occurs. sent2: the formal does not occur. sent3: the Togolese occurs. sent4: that the creaseproofness does not occur yields that the cleaning Jinja happens. sent5: the radiology happens. sent6: that the genuineness happens and the mugging does not occur yields that the creaseproofness does not occur. sent7: if the describing goldbeater occurs and/or the hypotonicness occurs that that the variegation happens is correct does not hold. sent8: if that the binary does not occur hold then the cleaning violation does not occur and the skidding does not occur. sent9: that the describing granulocyte happens causes that the termination happens. sent10: that that not the radiology but the cleaning Jinja happens does not hold is true if the cleaning violation does not occur. sent11: if the circulativeness occurs the shave occurs. sent12: the sportiveness does not occur. sent13: the genuineness happens if the radiology happens. sent14: the follicularness but not the sunray occurs. sent15: the non-Togoleseness leads to that both the follicularness and the blastoff occurs. sent16: that the two-wheelness happens and/or the brush occurs prevents that the suburbanness occurs. sent17: either the ready-made happens or the demurrage occurs or both. sent18: the mugging does not occur if the blastoff and/or the Togolese occurs.
void -> assump1: Let's assume that the blastoff happens.; assump1 -> int1: the blastoff or the Togoleseness or both happens.; int1 & sent18 -> int2: the mugging does not occur.; sent13 & sent5 -> int3: the genuineness occurs.; int2 & int3 -> int4: the genuineness but not the mugging occurs.; int4 & sent6 -> int5: the creaseproofness does not occur.; int5 & sent4 -> int6: the cleaning Jinja occurs.; [assump1] & int6 -> hypothesis;
the fact that the follicularness occurs is not false.
$hypothesis$ = the fact that the cleaning Jinja happens if the blastoff happens does not hold. ; $context$ = sent1: that the mugging happens and the genuineness does not occur is not correct if the creaseproofness occurs. sent2: the formal does not occur. sent3: the Togolese occurs. sent4: that the creaseproofness does not occur yields that the cleaning Jinja happens. sent5: the radiology happens. sent6: that the genuineness happens and the mugging does not occur yields that the creaseproofness does not occur. sent7: if the describing goldbeater occurs and/or the hypotonicness occurs that that the variegation happens is correct does not hold. sent8: if that the binary does not occur hold then the cleaning violation does not occur and the skidding does not occur. sent9: that the describing granulocyte happens causes that the termination happens. sent10: that that not the radiology but the cleaning Jinja happens does not hold is true if the cleaning violation does not occur. sent11: if the circulativeness occurs the shave occurs. sent12: the sportiveness does not occur. sent13: the genuineness happens if the radiology happens. sent14: the follicularness but not the sunray occurs. sent15: the non-Togoleseness leads to that both the follicularness and the blastoff occurs. sent16: that the two-wheelness happens and/or the brush occurs prevents that the suburbanness occurs. sent17: either the ready-made happens or the demurrage occurs or both. sent18: the mugging does not occur if the blastoff and/or the Togolese occurs. ; $proof$ = 
void -> assump1: Let's assume that the blastoff happens.; assump1 -> int1: the blastoff or the Togoleseness or both happens.; int1 & sent18 -> int2: the mugging does not occur.; sent13 & sent5 -> int3: the genuineness occurs.; int2 & int3 -> int4: the genuineness but not the mugging occurs.; int4 & sent6 -> int5: the creaseproofness does not occur.; int5 & sent4 -> int6: the cleaning Jinja occurs.; [assump1] & int6 -> hypothesis; __DISPROVED__