the stroma decreases fetoprotein.
sent1: if something either is not a kind of a footballer or is a charge or both then that it is a charge is not wrong. sent2: the counterrevolutionist is not a slashed. sent3: something is a kind of a hijack if it is a henry. sent4: if the microphotometer is not resistless then the counterrevolutionist is a henry and/or does scald. sent5: the counterrevolutionist is a patty-pan. sent6: the stroma enfeoffs provision. sent7: if something charges it is not equivocal and is a kind of a patty-pan. sent8: if the stroma decreases fetoprotein then it slashes. sent9: something hijacks if it does not enfeoff provision. sent10: if the stroma does enfeoff provision the radiotelephone decreases fetoprotein. sent11: if the counterrevolutionist is a hijack the radiotelephone enfeoffs provision and is not a kind of a slashed. sent12: if the microphotometer is a scald then the Burgundy is resistless. sent13: if the radiotelephone is a cinchonine then it is a scald. sent14: the stroma does decrease fetoprotein if that the Burgundy is a patty-pan is true. sent15: something that scalds hijacks. sent16: the stroma is a kind of a patty-pan. sent17: if something is a hijack it is a kind of a henry. sent18: if there exists something such that it is not equivocal but a patty-pan the fact that the microphotometer is resistless is not right. sent19: if something is resistless it is a patty-pan. sent20: if the radiotelephone does enfeoff provision then the counterrevolutionist is a kind of a slashed.
void -> assump1: Let's assume that the radiotelephone enfeoffs provision.; sent20 & assump1 -> int1: the fact that the counterrevolutionist is a slashed is not wrong.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the radiotelephone does not enfeoff provision.; sent9 -> int4: if the radiotelephone does not enfeoff provision it is a hijack.; int3 & int4 -> int5: the radiotelephone is a hijack.; sent17 -> int6: the radiotelephone is a henry if it hijacks.; int5 & int6 -> int7: that the radiotelephone is a henry is correct.; sent19 -> int8: the Burgundy is a kind of a patty-pan if it is resistless.;
the stroma does not decrease fetoprotein.
sent7 -> int9: the Burgundy is not equivocal but it is a kind of a patty-pan if that it is a charge is not incorrect.; sent1 -> int10: the Burgundy does charge if either it is not a footballer or it does charge or both.; sent3 -> int11: that the fact that the counterrevolutionist hijacks is not wrong if the counterrevolutionist is a henry is not wrong.; sent15 -> int12: if the fact that the counterrevolutionist is a scald is not wrong then it does hijack.;
$hypothesis$ = the stroma decreases fetoprotein. ; $context$ = sent1: if something either is not a kind of a footballer or is a charge or both then that it is a charge is not wrong. sent2: the counterrevolutionist is not a slashed. sent3: something is a kind of a hijack if it is a henry. sent4: if the microphotometer is not resistless then the counterrevolutionist is a henry and/or does scald. sent5: the counterrevolutionist is a patty-pan. sent6: the stroma enfeoffs provision. sent7: if something charges it is not equivocal and is a kind of a patty-pan. sent8: if the stroma decreases fetoprotein then it slashes. sent9: something hijacks if it does not enfeoff provision. sent10: if the stroma does enfeoff provision the radiotelephone decreases fetoprotein. sent11: if the counterrevolutionist is a hijack the radiotelephone enfeoffs provision and is not a kind of a slashed. sent12: if the microphotometer is a scald then the Burgundy is resistless. sent13: if the radiotelephone is a cinchonine then it is a scald. sent14: the stroma does decrease fetoprotein if that the Burgundy is a patty-pan is true. sent15: something that scalds hijacks. sent16: the stroma is a kind of a patty-pan. sent17: if something is a hijack it is a kind of a henry. sent18: if there exists something such that it is not equivocal but a patty-pan the fact that the microphotometer is resistless is not right. sent19: if something is resistless it is a patty-pan. sent20: if the radiotelephone does enfeoff provision then the counterrevolutionist is a kind of a slashed. ; $proof$ = 
void -> assump1: Let's assume that the radiotelephone enfeoffs provision.; sent20 & assump1 -> int1: the fact that the counterrevolutionist is a slashed is not wrong.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the radiotelephone does not enfeoff provision.; sent9 -> int4: if the radiotelephone does not enfeoff provision it is a hijack.; int3 & int4 -> int5: the radiotelephone is a hijack.; sent17 -> int6: the radiotelephone is a henry if it hijacks.; int5 & int6 -> int7: that the radiotelephone is a henry is correct.; sent19 -> int8: the Burgundy is a kind of a patty-pan if it is resistless.; __UNKNOWN__