the fact that that the curveting rheometer does not occur and the meow does not occur is brought about by that the defiantness occurs does not hold.
sent1: the astronavigation does not occur and the antiferromagneticness does not occur if the Jainness does not occur. sent2: that the curveting rheometer occurs and the isolationistness occurs prevents that the fine-tuning occurs. sent3: that the carcinomatousness does not occur prevents that the role happens. sent4: the defiantness does not occur if the fine-tuning does not occur. sent5: the starvation occurs. sent6: the fuming does not occur. sent7: if the devising occurs then the fact that not the sighting thinness but the jerking happens is not true. sent8: if the fact that the grant-in-aid does not occur hold the inscriptiveness does not occur. sent9: the defiantness happens if the fine-tuning does not occur. sent10: if the carcinomatousness does not occur then the meow does not occur and the role does not occur. sent11: that the devising does not occur is prevented by the over-the-counterness. sent12: that the jerk does not occur prevents the carcinomatousness. sent13: if the fact that not the sighting thinness but the jerking occurs does not hold then the carcinomatousness does not occur. sent14: the alienableness does not occur. sent15: the counterbombardment does not occur if the fact that the recompense does not occur but the error happens is not correct. sent16: the over-the-counterness happens. sent17: the isolationistness occurs. sent18: the role does not occur.
void -> assump1: Let's assume that the curveting rheometer occurs.; assump1 & sent17 -> int1: the curveting rheometer and the isolationist occurs.; int1 & sent2 -> int2: the fine-tuning does not occur.; int2 & sent4 -> int3: the fact that the defiantness does not occur hold.; void -> assump2: Let's assume that the fact that the defiantness happens is correct.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the curveting rheometer does not occur.; sent11 & sent16 -> int6: the devising happens.; sent7 & int6 -> int7: the fact that the sighting thinness does not occur and the jerk occurs is not right.; sent13 & int7 -> int8: the carcinomatousness does not occur.; sent10 & int8 -> int9: the meow does not occur and the role does not occur.; int9 -> int10: the meowing does not occur.; int5 & int10 -> int11: the curveting rheometer does not occur and the meowing does not occur.; [assump2] & int11 -> hypothesis;
$hypothesis$ = the fact that that the curveting rheometer does not occur and the meow does not occur is brought about by that the defiantness occurs does not hold. ; $context$ = sent1: the astronavigation does not occur and the antiferromagneticness does not occur if the Jainness does not occur. sent2: that the curveting rheometer occurs and the isolationistness occurs prevents that the fine-tuning occurs. sent3: that the carcinomatousness does not occur prevents that the role happens. sent4: the defiantness does not occur if the fine-tuning does not occur. sent5: the starvation occurs. sent6: the fuming does not occur. sent7: if the devising occurs then the fact that not the sighting thinness but the jerking happens is not true. sent8: if the fact that the grant-in-aid does not occur hold the inscriptiveness does not occur. sent9: the defiantness happens if the fine-tuning does not occur. sent10: if the carcinomatousness does not occur then the meow does not occur and the role does not occur. sent11: that the devising does not occur is prevented by the over-the-counterness. sent12: that the jerk does not occur prevents the carcinomatousness. sent13: if the fact that not the sighting thinness but the jerking occurs does not hold then the carcinomatousness does not occur. sent14: the alienableness does not occur. sent15: the counterbombardment does not occur if the fact that the recompense does not occur but the error happens is not correct. sent16: the over-the-counterness happens. sent17: the isolationistness occurs. sent18: the role does not occur. ; $proof$ = 
void -> assump1: Let's assume that the curveting rheometer occurs.; assump1 & sent17 -> int1: the curveting rheometer and the isolationist occurs.; int1 & sent2 -> int2: the fine-tuning does not occur.; int2 & sent4 -> int3: the fact that the defiantness does not occur hold.; void -> assump2: Let's assume that the fact that the defiantness happens is correct.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the curveting rheometer does not occur.; sent11 & sent16 -> int6: the devising happens.; sent7 & int6 -> int7: the fact that the sighting thinness does not occur and the jerk occurs is not right.; sent13 & int7 -> int8: the carcinomatousness does not occur.; sent10 & int8 -> int9: the meow does not occur and the role does not occur.; int9 -> int10: the meowing does not occur.; int5 & int10 -> int11: the curveting rheometer does not occur and the meowing does not occur.; [assump2] & int11 -> hypothesis; __DISPROVED__