that there is something such that it logrolls does not hold.
sent1: there is something such that it does philander yielding. sent2: if something is a kind of a gynostegium then the fact that it either does not philander yielding or is not holophytic or both is false. sent3: if there is something such that the fact that that either it philanders yielding or it is not holophytic or both hold is not true then the sushi logrolls. sent4: the sushi logrolls if that there exists something such that the fact that it does not philander yielding or it is not holophytic or both does not hold hold. sent5: the Sulla is a kind of a drag that does not philander relaxin. sent6: the Sulla drags. sent7: if something does minstrel it is a gynostegium. sent8: something philanders yielding if it is a gynostegium. sent9: if the Sulla is a drag but it does not philander relaxin then the relaxin does minstrel. sent10: there exists something such that the fact that it does not philander yielding and/or it is holophytic is false. sent11: something does not philander yielding and/or is not holophytic. sent12: the relaxin does philander yielding.
sent9 & sent5 -> int1: the relaxin minstrels.; sent7 -> int2: the relaxin is a gynostegium if it is a kind of a minstrel.; int1 & int2 -> int3: the relaxin is a gynostegium.; sent2 -> int4: if the relaxin is a gynostegium the fact that it does not philander yielding or it is not holophytic or both is not correct.; int3 & int4 -> int5: that the relaxin does not philander yielding or it is not holophytic or both is not right.; int5 -> int6: there is something such that the fact that it does not philander yielding and/or it is not holophytic is not true.; int6 & sent4 -> int7: the sushi does logroll.; int7 -> hypothesis;
$hypothesis$ = that there is something such that it logrolls does not hold. ; $context$ = sent1: there is something such that it does philander yielding. sent2: if something is a kind of a gynostegium then the fact that it either does not philander yielding or is not holophytic or both is false. sent3: if there is something such that the fact that that either it philanders yielding or it is not holophytic or both hold is not true then the sushi logrolls. sent4: the sushi logrolls if that there exists something such that the fact that it does not philander yielding or it is not holophytic or both does not hold hold. sent5: the Sulla is a kind of a drag that does not philander relaxin. sent6: the Sulla drags. sent7: if something does minstrel it is a gynostegium. sent8: something philanders yielding if it is a gynostegium. sent9: if the Sulla is a drag but it does not philander relaxin then the relaxin does minstrel. sent10: there exists something such that the fact that it does not philander yielding and/or it is holophytic is false. sent11: something does not philander yielding and/or is not holophytic. sent12: the relaxin does philander yielding. ; $proof$ = 
sent9 & sent5 -> int1: the relaxin minstrels.; sent7 -> int2: the relaxin is a gynostegium if it is a kind of a minstrel.; int1 & int2 -> int3: the relaxin is a gynostegium.; sent2 -> int4: if the relaxin is a gynostegium the fact that it does not philander yielding or it is not holophytic or both is not correct.; int3 & int4 -> int5: that the relaxin does not philander yielding or it is not holophytic or both is not right.; int5 -> int6: there is something such that the fact that it does not philander yielding and/or it is not holophytic is not true.; int6 & sent4 -> int7: the sushi does logroll.; int7 -> hypothesis; __DISPROVED__