the curacao is numeric if the pauper is pneumonic.
sent1: the fact that the tarot is not an abomination but it cozens is not right if the pauper is pneumonic. sent2: something is a kind of a dyer if it is not a relevance. sent3: if the tarot is an abomination then the fact that the curacao is not a relevance is right. sent4: the fact that the tarot is a kind of an abomination and it does cozen is incorrect if the pauper is pneumonic. sent5: the curacao is a dyer. sent6: if something is not a relevance then it is a dyer and it is numeric. sent7: the curacao is a Toulouse. sent8: if the curacao is not a relevance it is a dyer. sent9: the fact that the tarot is a kind of an abomination and does cozen is false. sent10: the curacao is not a relevance if the fact that the fact that the tarot is not a kind of an abomination and does cozen is not wrong does not hold. sent11: the pauper does cozen. sent12: if something is pneumonic it is a kind of an abomination. sent13: that the tarot is not a dyer but it is an abomination does not hold.
void -> assump1: Let's assume that the pauper is pneumonic.; sent1 & assump1 -> int1: the fact that the tarot is not an abomination and cozens is not true.; int1 & sent10 -> int2: the curacao is not a relevance.; sent6 -> int3: the curacao is a dyer and it is numeric if it is not a kind of a relevance.; int2 & int3 -> int4: the curacao is a dyer and numeric.; int4 -> int5: the curacao is numeric.; [assump1] & int5 -> hypothesis;
the elastic is an abomination.
sent12 -> int6: the elastic is an abomination if that it is pneumonic is not wrong.;
$hypothesis$ = the curacao is numeric if the pauper is pneumonic. ; $context$ = sent1: the fact that the tarot is not an abomination but it cozens is not right if the pauper is pneumonic. sent2: something is a kind of a dyer if it is not a relevance. sent3: if the tarot is an abomination then the fact that the curacao is not a relevance is right. sent4: the fact that the tarot is a kind of an abomination and it does cozen is incorrect if the pauper is pneumonic. sent5: the curacao is a dyer. sent6: if something is not a relevance then it is a dyer and it is numeric. sent7: the curacao is a Toulouse. sent8: if the curacao is not a relevance it is a dyer. sent9: the fact that the tarot is a kind of an abomination and does cozen is false. sent10: the curacao is not a relevance if the fact that the fact that the tarot is not a kind of an abomination and does cozen is not wrong does not hold. sent11: the pauper does cozen. sent12: if something is pneumonic it is a kind of an abomination. sent13: that the tarot is not a dyer but it is an abomination does not hold. ; $proof$ = 
void -> assump1: Let's assume that the pauper is pneumonic.; sent1 & assump1 -> int1: the fact that the tarot is not an abomination and cozens is not true.; int1 & sent10 -> int2: the curacao is not a relevance.; sent6 -> int3: the curacao is a dyer and it is numeric if it is not a kind of a relevance.; int2 & int3 -> int4: the curacao is a dyer and numeric.; int4 -> int5: the curacao is numeric.; [assump1] & int5 -> hypothesis; __PROVED__