the AS is reductionist.
sent1: if that the gametoecium does lecture reform but it is not confident does not hold the reverse does lecture reform. sent2: if the portage is not reductionist but Ephesians then it is microsomal. sent3: the AS is confident if it is not a chisel and it does palatalize Montevideo. sent4: the AS is confident if it is a kind of a chisel and it palatalizes Montevideo. sent5: the fact that the AS is reductionist if that the AS is confident is true is not false. sent6: something is confident if it does chisel. sent7: something that lectures reform is not a kind of a chisel. sent8: The reform does lecture AS. sent9: that the AS is not a chisel is right if it does lecture reform. sent10: the AS is not a kind of a chisel. sent11: something does not chisel and does palatalize Montevideo if it lectures reform.
sent11 -> int1: if the AS lectures reform it is not a chisel and does palatalize Montevideo.;
the reverse chisels.
$hypothesis$ = the AS is reductionist. ; $context$ = sent1: if that the gametoecium does lecture reform but it is not confident does not hold the reverse does lecture reform. sent2: if the portage is not reductionist but Ephesians then it is microsomal. sent3: the AS is confident if it is not a chisel and it does palatalize Montevideo. sent4: the AS is confident if it is a kind of a chisel and it palatalizes Montevideo. sent5: the fact that the AS is reductionist if that the AS is confident is true is not false. sent6: something is confident if it does chisel. sent7: something that lectures reform is not a kind of a chisel. sent8: The reform does lecture AS. sent9: that the AS is not a chisel is right if it does lecture reform. sent10: the AS is not a kind of a chisel. sent11: something does not chisel and does palatalize Montevideo if it lectures reform. ; $proof$ = 
sent11 -> int1: if the AS lectures reform it is not a chisel and does palatalize Montevideo.; __UNKNOWN__