the fact that there exists something such that if it does determine then it does not deactivate Cynocephalus does not hold.
sent1: the newcomer is unadaptable. sent2: the newcomer is finer if the draper is finer. sent3: if that the newcomer is a thread is correct then it does not deactivate Cynocephalus. sent4: there exists something such that if that it does determine hold that it does not thread hold. sent5: if something is not quincentennial then it is a kind of finer a lighting. sent6: the newcomer does deactivate Cynocephalus if it does determine or it threads or both. sent7: something determines but it does not deactivate Cynocephalus if it is finer. sent8: if the newcomer does determine and/or does thread then that it does not deactivate Cynocephalus is correct. sent9: there is something such that if it does determine then that it does deactivate Cynocephalus hold. sent10: that if something is a Musset then it is not a quincentennial is correct. sent11: the blackmailer is not a thread if the newcomer determines but it does not deactivate Cynocephalus. sent12: if the newcomer determines it deactivates Cynocephalus. sent13: if the fact that the plant is not a rattle and/or it is not a gildhall is wrong then it is a kind of a dowse. sent14: the draper is a dowse and/or it is a Musset if something is a dowse. sent15: that either the plant is not a rattle or it is not a kind of a gildhall or both is wrong.
void -> assump1: Let's assume that the newcomer does determine.; assump1 -> int1: the newcomer does determine or it is a thread or both.; int1 & sent8 -> int2: the newcomer does not deactivate Cynocephalus.; [assump1] & int2 -> int3: if the newcomer does determine it does not deactivate Cynocephalus.; int3 -> hypothesis;
the blackmailer is not a kind of a thread.
sent7 -> int4: if the newcomer is finer it does determine and it does not deactivate Cynocephalus.; sent5 -> int5: if the draper is not a quincentennial then it is finer and it lights.; sent13 & sent15 -> int6: the plant dowses.; int6 -> int7: the fact that something dowses is not wrong.; int7 & sent14 -> int8: the draper does dowse and/or it is a kind of a Musset.; sent10 -> int9: if the draper is a Musset then it is not a quincentennial.;
$hypothesis$ = the fact that there exists something such that if it does determine then it does not deactivate Cynocephalus does not hold. ; $context$ = sent1: the newcomer is unadaptable. sent2: the newcomer is finer if the draper is finer. sent3: if that the newcomer is a thread is correct then it does not deactivate Cynocephalus. sent4: there exists something such that if that it does determine hold that it does not thread hold. sent5: if something is not quincentennial then it is a kind of finer a lighting. sent6: the newcomer does deactivate Cynocephalus if it does determine or it threads or both. sent7: something determines but it does not deactivate Cynocephalus if it is finer. sent8: if the newcomer does determine and/or does thread then that it does not deactivate Cynocephalus is correct. sent9: there is something such that if it does determine then that it does deactivate Cynocephalus hold. sent10: that if something is a Musset then it is not a quincentennial is correct. sent11: the blackmailer is not a thread if the newcomer determines but it does not deactivate Cynocephalus. sent12: if the newcomer determines it deactivates Cynocephalus. sent13: if the fact that the plant is not a rattle and/or it is not a gildhall is wrong then it is a kind of a dowse. sent14: the draper is a dowse and/or it is a Musset if something is a dowse. sent15: that either the plant is not a rattle or it is not a kind of a gildhall or both is wrong. ; $proof$ = 
void -> assump1: Let's assume that the newcomer does determine.; assump1 -> int1: the newcomer does determine or it is a thread or both.; int1 & sent8 -> int2: the newcomer does not deactivate Cynocephalus.; [assump1] & int2 -> int3: if the newcomer does determine it does not deactivate Cynocephalus.; int3 -> hypothesis; __DISPROVED__