the Iowan is a wrap and it does eliminate.
sent1: the selectwoman is not a Boswell if the fact that the Iowan is not polytheistic and/or it is non-blastomeric does not hold. sent2: something is not unscientific if it is blastomeric. sent3: the Iowan is not a carotene and does not embrown Friedman. sent4: the nib is non-blastomeric. sent5: that there is something such that it is a landlord is not incorrect. sent6: if something is non-unscientific a Boswell then the Iowan is not blastomeric. sent7: if that that the Iowan is both not a caecilian and not a Boswell does not hold is not incorrect it is a kind of a Diana. sent8: if the Iowan is not a carotene the fact that the fact that it is a kind of non-caecilian thing that is not a Boswell is not false does not hold. sent9: the O is blastomeric if that something is not a shortcut and/or it is myelinic is not false. sent10: something that is not polytheistic and is a Diana wraps. sent11: if something is a wrap then it is a Diana. sent12: the Iowan is not polytheistic if something that is not unscientific is aculeate. sent13: something is aculeate. sent14: there are non-illiterate things. sent15: there exists something such that it is not a Boswell. sent16: something is not a shortcut or myelinic or both. sent17: something is a kind of a shortcut and/or is myelinic. sent18: the Iowan does eliminate. sent19: the O is not unscientific. sent20: there is something such that it is not unscientific. sent21: if something is blastomeric then it is not unscientific and is aculeate. sent22: the Iowan is not vernal.
sent21 -> int1: if the O is blastomeric it is not unscientific and is aculeate.; sent16 & sent9 -> int2: the O is blastomeric.; int1 & int2 -> int3: the O is not unscientific and is aculeate.; int3 -> int4: there exists something such that it is not unscientific and it is aculeate.; int4 & sent12 -> int5: the Iowan is not polytheistic.; sent3 -> int6: the Iowan is not a carotene.; sent8 & int6 -> int7: that the Iowan is not a caecilian and it is not a Boswell is incorrect.; sent7 & int7 -> int8: the Iowan is a Diana.; int5 & int8 -> int9: the Iowan is both not polytheistic and a Diana.; sent10 -> int10: if the Iowan is not polytheistic and is a Diana then the fact that it wraps is not wrong.; int9 & int10 -> int11: the Iowan does wrap.; int11 & sent18 -> hypothesis;
that the Iowan is a wrap and it does eliminate is not right.
$hypothesis$ = the Iowan is a wrap and it does eliminate. ; $context$ = sent1: the selectwoman is not a Boswell if the fact that the Iowan is not polytheistic and/or it is non-blastomeric does not hold. sent2: something is not unscientific if it is blastomeric. sent3: the Iowan is not a carotene and does not embrown Friedman. sent4: the nib is non-blastomeric. sent5: that there is something such that it is a landlord is not incorrect. sent6: if something is non-unscientific a Boswell then the Iowan is not blastomeric. sent7: if that that the Iowan is both not a caecilian and not a Boswell does not hold is not incorrect it is a kind of a Diana. sent8: if the Iowan is not a carotene the fact that the fact that it is a kind of non-caecilian thing that is not a Boswell is not false does not hold. sent9: the O is blastomeric if that something is not a shortcut and/or it is myelinic is not false. sent10: something that is not polytheistic and is a Diana wraps. sent11: if something is a wrap then it is a Diana. sent12: the Iowan is not polytheistic if something that is not unscientific is aculeate. sent13: something is aculeate. sent14: there are non-illiterate things. sent15: there exists something such that it is not a Boswell. sent16: something is not a shortcut or myelinic or both. sent17: something is a kind of a shortcut and/or is myelinic. sent18: the Iowan does eliminate. sent19: the O is not unscientific. sent20: there is something such that it is not unscientific. sent21: if something is blastomeric then it is not unscientific and is aculeate. sent22: the Iowan is not vernal. ; $proof$ = 
sent21 -> int1: if the O is blastomeric it is not unscientific and is aculeate.; sent16 & sent9 -> int2: the O is blastomeric.; int1 & int2 -> int3: the O is not unscientific and is aculeate.; int3 -> int4: there exists something such that it is not unscientific and it is aculeate.; int4 & sent12 -> int5: the Iowan is not polytheistic.; sent3 -> int6: the Iowan is not a carotene.; sent8 & int6 -> int7: that the Iowan is not a caecilian and it is not a Boswell is incorrect.; sent7 & int7 -> int8: the Iowan is a Diana.; int5 & int8 -> int9: the Iowan is both not polytheistic and a Diana.; sent10 -> int10: if the Iowan is not polytheistic and is a Diana then the fact that it wraps is not wrong.; int9 & int10 -> int11: the Iowan does wrap.; int11 & sent18 -> hypothesis; __PROVED__