the cognate is not hydrocephalic.
sent1: the roulade is not a kind of a andradite if the fact that the songster is not a kind of a thereness and is not a kind of a recipient does not hold. sent2: something is a andradite if it suffices. sent3: the feedback does not dissemble sayeret and is not a souk. sent4: if that the cognate is not hydrocephalic hold the fact that that the songster is a thereness that is not a recipient hold is not correct. sent5: the fact that the cognate is not hydrocephalic is not false if the fact that the songster is not hydrocephalic but it suffices is not correct. sent6: if something does not dissemble sayeret and is not a souk then it is not a factorial. sent7: either the roulade is a butterwort or it suffices or both if it is not a kind of a salt. sent8: the dinghy is not a butterwort. sent9: that that the roulade does not salt and it is not a thereness is not wrong is incorrect. sent10: the roulade is not a salt. sent11: the deadhead is not a kind of a andradite if it is not a butterwort and suffices. sent12: something is hydrocephalic but it is not a kind of a recipient if it is not a kind of a andradite. sent13: the fact that something is not a hygrodeik and not a salt is wrong if it is not factorial. sent14: the fact that the songster is not a thereness but a recipient does not hold. sent15: that the songster is not a kind of a thereness and it is not a recipient is false if the cognate is not hydrocephalic. sent16: if that the cognate is not hydrocephalic hold the fact that the songster is both not a thereness and a recipient is not right. sent17: the songster is a andradite if the roulade is a kind of a butterwort. sent18: the fact that the songster is a thereness but it is not a recipient does not hold. sent19: something is a andradite if it is a butterwort. sent20: the pass does salt. sent21: something is propulsive if that it is a kind of a factorial is correct.
void -> assump1: Let's assume that the cognate is not hydrocephalic.; sent15 & assump1 -> int1: that the songster is not a thereness and not a recipient does not hold.; int1 & sent1 -> int2: the roulade is not a andradite.; sent7 & sent10 -> int3: either the roulade is a kind of a butterwort or it suffices or both.; sent19 -> int4: if the roulade is a butterwort then it is a andradite.; sent2 -> int5: the roulade is a andradite if it does suffice.; int3 & int4 & int5 -> int6: that the roulade is a andradite is not false.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the cognate is hydrocephalic is incorrect.
sent13 -> int8: the fact that the feedback is not a hygrodeik and it is not a kind of a salt is false if the fact that it is not a factorial hold.; sent6 -> int9: the fact that the feedback is non-factorial hold if it does not dissemble sayeret and is not a souk.; int9 & sent3 -> int10: the feedback is not a factorial.; int8 & int10 -> int11: that the feedback is not a hygrodeik and does not salt is not true.; int11 -> int12: there exists something such that the fact that it is not a hygrodeik and it is not a salt is incorrect.;
$hypothesis$ = the cognate is not hydrocephalic. ; $context$ = sent1: the roulade is not a kind of a andradite if the fact that the songster is not a kind of a thereness and is not a kind of a recipient does not hold. sent2: something is a andradite if it suffices. sent3: the feedback does not dissemble sayeret and is not a souk. sent4: if that the cognate is not hydrocephalic hold the fact that that the songster is a thereness that is not a recipient hold is not correct. sent5: the fact that the cognate is not hydrocephalic is not false if the fact that the songster is not hydrocephalic but it suffices is not correct. sent6: if something does not dissemble sayeret and is not a souk then it is not a factorial. sent7: either the roulade is a butterwort or it suffices or both if it is not a kind of a salt. sent8: the dinghy is not a butterwort. sent9: that that the roulade does not salt and it is not a thereness is not wrong is incorrect. sent10: the roulade is not a salt. sent11: the deadhead is not a kind of a andradite if it is not a butterwort and suffices. sent12: something is hydrocephalic but it is not a kind of a recipient if it is not a kind of a andradite. sent13: the fact that something is not a hygrodeik and not a salt is wrong if it is not factorial. sent14: the fact that the songster is not a thereness but a recipient does not hold. sent15: that the songster is not a kind of a thereness and it is not a recipient is false if the cognate is not hydrocephalic. sent16: if that the cognate is not hydrocephalic hold the fact that the songster is both not a thereness and a recipient is not right. sent17: the songster is a andradite if the roulade is a kind of a butterwort. sent18: the fact that the songster is a thereness but it is not a recipient does not hold. sent19: something is a andradite if it is a butterwort. sent20: the pass does salt. sent21: something is propulsive if that it is a kind of a factorial is correct. ; $proof$ = 
void -> assump1: Let's assume that the cognate is not hydrocephalic.; sent15 & assump1 -> int1: that the songster is not a thereness and not a recipient does not hold.; int1 & sent1 -> int2: the roulade is not a andradite.; sent7 & sent10 -> int3: either the roulade is a kind of a butterwort or it suffices or both.; sent19 -> int4: if the roulade is a butterwort then it is a andradite.; sent2 -> int5: the roulade is a andradite if it does suffice.; int3 & int4 & int5 -> int6: that the roulade is a andradite is not false.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__