if the adulteress is chorionic the amobarbital is Incan.
sent1: if the tartrate is a manslaughter then the amobarbital is Incan. sent2: the tartrate is Churchillian if the ani is a Ibert. sent3: the ani is a Ibert if the adulteress is chorionic. sent4: the amobarbital is a manslaughter. sent5: the tartrate is both anoxemic and a extremeness. sent6: the adulteress is Incan if the tartrate is a kind of a extremeness. sent7: that the adulteress is a kind of a meteortropism is right. sent8: if something is chorionic it is Churchillian. sent9: the tartrate is a kind of a manslaughter if it is Churchillian. sent10: the tartrate is Incan. sent11: if there are Incan things the ani is not a manslaughter.
void -> assump1: Let's assume that the adulteress is chorionic.; sent3 & assump1 -> int1: the ani is a Ibert.; int1 & sent2 -> int2: the tartrate is Churchillian.; int2 & sent9 -> int3: the tartrate is a manslaughter.; int3 & sent1 -> int4: the amobarbital is Incan.; [assump1] & int4 -> hypothesis;
the ani is Churchillian.
sent8 -> int5: that the ani is Churchillian is not wrong if it is chorionic.; sent5 -> int6: the tartrate is a kind of a extremeness.; sent6 & int6 -> int7: the adulteress is Incan.; int7 -> int8: there exists something such that it is Incan.; int8 & sent11 -> int9: the ani is not a manslaughter.;
$hypothesis$ = if the adulteress is chorionic the amobarbital is Incan. ; $context$ = sent1: if the tartrate is a manslaughter then the amobarbital is Incan. sent2: the tartrate is Churchillian if the ani is a Ibert. sent3: the ani is a Ibert if the adulteress is chorionic. sent4: the amobarbital is a manslaughter. sent5: the tartrate is both anoxemic and a extremeness. sent6: the adulteress is Incan if the tartrate is a kind of a extremeness. sent7: that the adulteress is a kind of a meteortropism is right. sent8: if something is chorionic it is Churchillian. sent9: the tartrate is a kind of a manslaughter if it is Churchillian. sent10: the tartrate is Incan. sent11: if there are Incan things the ani is not a manslaughter. ; $proof$ = 
void -> assump1: Let's assume that the adulteress is chorionic.; sent3 & assump1 -> int1: the ani is a Ibert.; int1 & sent2 -> int2: the tartrate is Churchillian.; int2 & sent9 -> int3: the tartrate is a manslaughter.; int3 & sent1 -> int4: the amobarbital is Incan.; [assump1] & int4 -> hypothesis; __PROVED__