the animist is not a kind of a cisco.
sent1: if that the out-basket is not a kind of a manila and it is not articular is false then it is not Shinto. sent2: that the out-basket is not a manila but it is articular does not hold. sent3: the animist is a cisco if the pamphleteer is a Corneille. sent4: if the out-basket is not a manila and it is not articular the pamphleteer is a Corneille. sent5: the out-basket is a retinol. sent6: there exists something such that that it is not a Savoyard and not a sky does not hold. sent7: if the out-basket is a retinol it is Shinto. sent8: the obelisk does not corset out-basket if there exists something such that that it is not a Savoyard and it is not a sky is not correct.
void -> assump1: Let's assume that that the out-basket is not a manila and not articular does not hold.; sent1 & assump1 -> int1: the out-basket is not a kind of a Shinto.; sent7 & sent5 -> int2: the fact that the out-basket is Shinto is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the out-basket is not a manila and not articular.; int4 & sent4 -> int5: the pamphleteer is a Corneille.; int5 & sent3 -> hypothesis;
the animist is not a kind of a cisco.
sent6 & sent8 -> int6: the obelisk does not corset out-basket.; int6 -> int7: there exists something such that it does not corset out-basket.;
$hypothesis$ = the animist is not a kind of a cisco. ; $context$ = sent1: if that the out-basket is not a kind of a manila and it is not articular is false then it is not Shinto. sent2: that the out-basket is not a manila but it is articular does not hold. sent3: the animist is a cisco if the pamphleteer is a Corneille. sent4: if the out-basket is not a manila and it is not articular the pamphleteer is a Corneille. sent5: the out-basket is a retinol. sent6: there exists something such that that it is not a Savoyard and not a sky does not hold. sent7: if the out-basket is a retinol it is Shinto. sent8: the obelisk does not corset out-basket if there exists something such that that it is not a Savoyard and it is not a sky is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the out-basket is not a manila and not articular does not hold.; sent1 & assump1 -> int1: the out-basket is not a kind of a Shinto.; sent7 & sent5 -> int2: the fact that the out-basket is Shinto is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the out-basket is not a manila and not articular.; int4 & sent4 -> int5: the pamphleteer is a Corneille.; int5 & sent3 -> hypothesis; __DISPROVED__