the hitchhiker dims Kasai if the detective is a Zannichellia.
sent1: the fact that the hitchhiker is a kind of a Raoulia but it is not a festival is wrong. sent2: something is not a Shona or it is not a kind of a Zannichellia or both if it is penicillin-resistant. sent3: if the awning is not dolomitic the fact that the hitchhiker is both not a Raoulia and not a festival is wrong. sent4: if there exists something such that it is a kind of a Zannichellia that the awning is not non-Shona but it is not penicillin-resistant is not correct. sent5: if the awning is not a Shona then it is not dolomitic. sent6: if the fact that something is a Shona and is not penicillin-resistant is not correct then it is not dolomitic. sent7: something that is not Shona is not dolomitic. sent8: something dims Kasai if the fact that it is not a Raoulia and it is not a festival is not right.
void -> assump1: Let's assume that that the detective is a Zannichellia hold.; assump1 -> int1: something is a Zannichellia.; int1 & sent4 -> int2: that the awning is Shona and not penicillin-resistant does not hold.; sent6 -> int3: the awning is not dolomitic if that it is both a Shona and not penicillin-resistant does not hold.; int2 & int3 -> int4: the awning is not dolomitic.; int4 & sent3 -> int5: the fact that the hitchhiker is not a kind of a Raoulia and is not a festival is wrong.; sent8 -> int6: the hitchhiker does dim Kasai if the fact that it is not a Raoulia and not a festival does not hold.; int5 & int6 -> int7: the hitchhiker dims Kasai.; [assump1] & int7 -> hypothesis;
the Zuni is not a festival.
sent2 -> int8: either the awning is not a Shona or it is not a Zannichellia or both if it is penicillin-resistant.;
$hypothesis$ = the hitchhiker dims Kasai if the detective is a Zannichellia. ; $context$ = sent1: the fact that the hitchhiker is a kind of a Raoulia but it is not a festival is wrong. sent2: something is not a Shona or it is not a kind of a Zannichellia or both if it is penicillin-resistant. sent3: if the awning is not dolomitic the fact that the hitchhiker is both not a Raoulia and not a festival is wrong. sent4: if there exists something such that it is a kind of a Zannichellia that the awning is not non-Shona but it is not penicillin-resistant is not correct. sent5: if the awning is not a Shona then it is not dolomitic. sent6: if the fact that something is a Shona and is not penicillin-resistant is not correct then it is not dolomitic. sent7: something that is not Shona is not dolomitic. sent8: something dims Kasai if the fact that it is not a Raoulia and it is not a festival is not right. ; $proof$ = 
void -> assump1: Let's assume that that the detective is a Zannichellia hold.; assump1 -> int1: something is a Zannichellia.; int1 & sent4 -> int2: that the awning is Shona and not penicillin-resistant does not hold.; sent6 -> int3: the awning is not dolomitic if that it is both a Shona and not penicillin-resistant does not hold.; int2 & int3 -> int4: the awning is not dolomitic.; int4 & sent3 -> int5: the fact that the hitchhiker is not a kind of a Raoulia and is not a festival is wrong.; sent8 -> int6: the hitchhiker does dim Kasai if the fact that it is not a Raoulia and not a festival does not hold.; int5 & int6 -> int7: the hitchhiker dims Kasai.; [assump1] & int7 -> hypothesis; __PROVED__