that the mesenchyme is nonsyllabic if the subsection is a kind of non-Trinidadian thing that is centering is not right.
sent1: the mesenchyme is non-nonsyllabic thing that is a irresistibility. sent2: the fact that the mesenchyme is nonsyllabic is not wrong if the subsection is a kind of a irresistibility. sent3: if the fact that the mesenchyme is a kind of a centering is not wrong then the subsection is nonsyllabic. sent4: if the subsection is non-Trinidadian thing that does center it is a irresistibility. sent5: the mesenchyme is a kind of a Trinidadian. sent6: if the mesenchyme does not center but it is nonsyllabic that the subsection is a irresistibility is correct. sent7: if the subsection is nonsyllabic then the mesenchyme centers. sent8: the mesenchyme is a kind of a trier.
void -> assump1: Let's assume that the subsection is not Trinidadian and is a centering.; sent4 & assump1 -> int1: the subsection is a irresistibility.; sent2 & int1 -> int2: the mesenchyme is nonsyllabic.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the mesenchyme is nonsyllabic if the subsection is a kind of non-Trinidadian thing that is centering is not right. ; $context$ = sent1: the mesenchyme is non-nonsyllabic thing that is a irresistibility. sent2: the fact that the mesenchyme is nonsyllabic is not wrong if the subsection is a kind of a irresistibility. sent3: if the fact that the mesenchyme is a kind of a centering is not wrong then the subsection is nonsyllabic. sent4: if the subsection is non-Trinidadian thing that does center it is a irresistibility. sent5: the mesenchyme is a kind of a Trinidadian. sent6: if the mesenchyme does not center but it is nonsyllabic that the subsection is a irresistibility is correct. sent7: if the subsection is nonsyllabic then the mesenchyme centers. sent8: the mesenchyme is a kind of a trier. ; $proof$ = 
void -> assump1: Let's assume that the subsection is not Trinidadian and is a centering.; sent4 & assump1 -> int1: the subsection is a irresistibility.; sent2 & int1 -> int2: the mesenchyme is nonsyllabic.; [assump1] & int2 -> hypothesis; __DISPROVED__