the heir does not guess hieratic.
sent1: if the Turki does not gather Nazimova then the blanc does not gather Nazimova and is a CD8. sent2: The inaptness invokes heir. sent3: something does not gather blanc if it does not gather Nazimova and it is a CD8. sent4: something is not a CD8 if it shucks and does gather Nazimova. sent5: the kelpie does not shuck. sent6: the fact that the Turki does not gather Nazimova is not false if the heir guesses washwoman and does invoke inaptness. sent7: the heir invokes inaptness. sent8: if the blanc does not gather blanc then the kelpie does shuck. sent9: if something does not guess washwoman then it does not guess hieratic. sent10: if something that gathers Nazimova is a CD8 it does not gather blanc. sent11: the blanc does not gather Nazimova.
void -> assump1: Let's assume that the heir guesses washwoman.; assump1 & sent7 -> int1: the heir does guess washwoman and invokes inaptness.; int1 & sent6 -> int2: the Turki does not gather Nazimova.; int2 & sent1 -> int3: the blanc does not gather Nazimova and is a CD8.; sent3 -> int4: if the blanc does not gather Nazimova and is a CD8 it does not gather blanc.; int3 & int4 -> int5: that the blanc does not gather blanc hold.; int5 & sent8 -> int6: the kelpie shucks.; int6 & sent5 -> int7: this is contradiction.; [assump1] & int7 -> int8: the heir does not guess washwoman.; sent9 -> int9: the heir does not guess hieratic if it does not guess washwoman.; int8 & int9 -> hypothesis;
$hypothesis$ = the heir does not guess hieratic. ; $context$ = sent1: if the Turki does not gather Nazimova then the blanc does not gather Nazimova and is a CD8. sent2: The inaptness invokes heir. sent3: something does not gather blanc if it does not gather Nazimova and it is a CD8. sent4: something is not a CD8 if it shucks and does gather Nazimova. sent5: the kelpie does not shuck. sent6: the fact that the Turki does not gather Nazimova is not false if the heir guesses washwoman and does invoke inaptness. sent7: the heir invokes inaptness. sent8: if the blanc does not gather blanc then the kelpie does shuck. sent9: if something does not guess washwoman then it does not guess hieratic. sent10: if something that gathers Nazimova is a CD8 it does not gather blanc. sent11: the blanc does not gather Nazimova. ; $proof$ = 
void -> assump1: Let's assume that the heir guesses washwoman.; assump1 & sent7 -> int1: the heir does guess washwoman and invokes inaptness.; int1 & sent6 -> int2: the Turki does not gather Nazimova.; int2 & sent1 -> int3: the blanc does not gather Nazimova and is a CD8.; sent3 -> int4: if the blanc does not gather Nazimova and is a CD8 it does not gather blanc.; int3 & int4 -> int5: that the blanc does not gather blanc hold.; int5 & sent8 -> int6: the kelpie shucks.; int6 & sent5 -> int7: this is contradiction.; [assump1] & int7 -> int8: the heir does not guess washwoman.; sent9 -> int9: the heir does not guess hieratic if it does not guess washwoman.; int8 & int9 -> hypothesis; __PROVED__