that that the eyeing does not occur triggers that the anxiolyticness or the indication or both occurs is wrong.
sent1: that the solicitorship happens and the eyeing occurs yields that the petroglyph happens. sent2: that the antitypicness but not the extirpation happens leads to that the depiction happens. sent3: if the flattening charley-horse does not occur then the flattening birdnest occurs and/or the tasting happens. sent4: that the petroglyph happens brings about that the anxiolyticness occurs. sent5: the solicitorship happens. sent6: the onomasticsness causes that the literariness occurs. sent7: either the anxiolytic happens or the indication occurs or both if the eyeing occurs. sent8: if not the petroglyph but the anxiolytic occurs the eyeing happens. sent9: the driving occurs. sent10: if the eyeing occurs then the solicitorship does not occur and the intensiveness does not occur. sent11: either the simianness occurs or the turfing Blackshirt occurs or both. sent12: the Sumatranness occurs. sent13: that the solicitorship occurs and the eye does not occur causes that the petroglyph happens. sent14: the fold occurs if the intensification happens. sent15: that the turfing foothold does not occur is prevented by that the residentialness occurs and the inspiration does not occur. sent16: that the casing boysenberry happens is brought about by that the integration happens and the traction does not occur. sent17: the untrustworthiness occurs and the overtness does not occur.
void -> assump1: Let's assume that the eye does not occur.; sent5 & assump1 -> int1: the solicitorship but not the eye occurs.; sent13 & int1 -> int2: the petroglyph occurs.; sent4 & int2 -> int3: the anxiolytic happens.; int3 -> int4: either the anxiolyticness or the indication or both occurs.; [assump1] & int4 -> hypothesis;
the intensiveness does not occur.
$hypothesis$ = that that the eyeing does not occur triggers that the anxiolyticness or the indication or both occurs is wrong. ; $context$ = sent1: that the solicitorship happens and the eyeing occurs yields that the petroglyph happens. sent2: that the antitypicness but not the extirpation happens leads to that the depiction happens. sent3: if the flattening charley-horse does not occur then the flattening birdnest occurs and/or the tasting happens. sent4: that the petroglyph happens brings about that the anxiolyticness occurs. sent5: the solicitorship happens. sent6: the onomasticsness causes that the literariness occurs. sent7: either the anxiolytic happens or the indication occurs or both if the eyeing occurs. sent8: if not the petroglyph but the anxiolytic occurs the eyeing happens. sent9: the driving occurs. sent10: if the eyeing occurs then the solicitorship does not occur and the intensiveness does not occur. sent11: either the simianness occurs or the turfing Blackshirt occurs or both. sent12: the Sumatranness occurs. sent13: that the solicitorship occurs and the eye does not occur causes that the petroglyph happens. sent14: the fold occurs if the intensification happens. sent15: that the turfing foothold does not occur is prevented by that the residentialness occurs and the inspiration does not occur. sent16: that the casing boysenberry happens is brought about by that the integration happens and the traction does not occur. sent17: the untrustworthiness occurs and the overtness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the eye does not occur.; sent5 & assump1 -> int1: the solicitorship but not the eye occurs.; sent13 & int1 -> int2: the petroglyph occurs.; sent4 & int2 -> int3: the anxiolytic happens.; int3 -> int4: either the anxiolyticness or the indication or both occurs.; [assump1] & int4 -> hypothesis; __DISPROVED__