that the pleaching mono-iodotyrosine occurs is correct.
sent1: if the enthusiasticness does not occur the floriculturalness happens and the pleaching mono-iodotyrosine happens. sent2: the floriculturalness does not occur. sent3: if the working saurian does not occur the avulsion occurs and/or the barracking triumvir happens. sent4: the working saurian does not occur if the anaphasicness occurs. sent5: the rewarding occurs. sent6: if that the uncontroversialness does not occur hold that not the hooflikeness but the intracranialness occurs does not hold. sent7: if that the non-hooflikeness and the intracranialness occurs is wrong then the enthusiasticness does not occur. sent8: the pleaching mono-iodotyrosine leads to that the floriculturalness happens.
void -> assump1: Let's assume that that the pleaching mono-iodotyrosine occurs is correct.; sent8 & assump1 -> int1: the floriculturalness occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the pleaching mono-iodotyrosine happens.
$hypothesis$ = that the pleaching mono-iodotyrosine occurs is correct. ; $context$ = sent1: if the enthusiasticness does not occur the floriculturalness happens and the pleaching mono-iodotyrosine happens. sent2: the floriculturalness does not occur. sent3: if the working saurian does not occur the avulsion occurs and/or the barracking triumvir happens. sent4: the working saurian does not occur if the anaphasicness occurs. sent5: the rewarding occurs. sent6: if that the uncontroversialness does not occur hold that not the hooflikeness but the intracranialness occurs does not hold. sent7: if that the non-hooflikeness and the intracranialness occurs is wrong then the enthusiasticness does not occur. sent8: the pleaching mono-iodotyrosine leads to that the floriculturalness happens. ; $proof$ = 
void -> assump1: Let's assume that that the pleaching mono-iodotyrosine occurs is correct.; sent8 & assump1 -> int1: the floriculturalness occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__