the cockloft is not auxinic.
sent1: the neuropil is non-ferial if that it is not synchronous and does not redden Mayenne is not right. sent2: if there exists something such that it is neurobiological or is a Ningal or both then the cockloft is a Ceylon. sent3: that the neuropil is auxinic and is not ferial is not true. sent4: something is not auxinic if it is neurobiological. sent5: that the neuropil is not synchronous and does not redden Mayenne does not hold. sent6: something is not auxinic if it reddens Mayenne. sent7: the neuropil is ferial if the fact that it is a Ceylon and it is not a Ningal is not correct. sent8: the neuropil is not neurobiological if it is synchronous. sent9: if there is something such that it either is a Ceylon or does shine giantism or both the cockloft is neurobiological.
void -> assump1: Let's assume that that the neuropil is a Ceylon and is not a Ningal does not hold.; sent7 & assump1 -> int1: the neuropil is ferial.; sent1 & sent5 -> int2: the neuropil is not ferial.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the neuropil is a Ceylon but it is not a kind of a Ningal.; int4 -> int5: the fact that the neuropil is a kind of a Ceylon hold.; int5 -> int6: the neuropil either is a Ceylon or does shine giantism or both.; int6 -> int7: there exists something such that either it is a Ceylon or it shines giantism or both.; int7 & sent9 -> int8: the cockloft is neurobiological.; sent4 -> int9: if the cockloft is neurobiological it is non-auxinic.; int8 & int9 -> hypothesis;
$hypothesis$ = the cockloft is not auxinic. ; $context$ = sent1: the neuropil is non-ferial if that it is not synchronous and does not redden Mayenne is not right. sent2: if there exists something such that it is neurobiological or is a Ningal or both then the cockloft is a Ceylon. sent3: that the neuropil is auxinic and is not ferial is not true. sent4: something is not auxinic if it is neurobiological. sent5: that the neuropil is not synchronous and does not redden Mayenne does not hold. sent6: something is not auxinic if it reddens Mayenne. sent7: the neuropil is ferial if the fact that it is a Ceylon and it is not a Ningal is not correct. sent8: the neuropil is not neurobiological if it is synchronous. sent9: if there is something such that it either is a Ceylon or does shine giantism or both the cockloft is neurobiological. ; $proof$ = 
void -> assump1: Let's assume that that the neuropil is a Ceylon and is not a Ningal does not hold.; sent7 & assump1 -> int1: the neuropil is ferial.; sent1 & sent5 -> int2: the neuropil is not ferial.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the neuropil is a Ceylon but it is not a kind of a Ningal.; int4 -> int5: the fact that the neuropil is a kind of a Ceylon hold.; int5 -> int6: the neuropil either is a Ceylon or does shine giantism or both.; int6 -> int7: there exists something such that either it is a Ceylon or it shines giantism or both.; int7 & sent9 -> int8: the cockloft is neurobiological.; sent4 -> int9: if the cockloft is neurobiological it is non-auxinic.; int8 & int9 -> hypothesis; __PROVED__