the annuitant is not a gastropod.
sent1: something is a fauteuil and is a Codiaeum if it is not a maharani. sent2: the pellitory-of-the-wall is not a loop. sent3: the columbo does not indurate repeat. sent4: that if there exists something such that it is a kind of a Perth then the annuitant is not a gastropod is true. sent5: if there is something such that it is a kind of a monorail and/or it is a Perth the annuitant is not a gastropod. sent6: the annuitant is amaranthine. sent7: the columbo is not a gastropod. sent8: the fact that the columbo is adscript and it is a monorail is not right if something is not adscript. sent9: the pellitory-of-the-wall is not a stoichiometry. sent10: if the columbo is not a gastropod but it is a Perth then the annuitant is a gastropod. sent11: if the pellitory-of-the-wall is not a loop and not a stoichiometry then it is not adscript. sent12: that something is a fauteuil but it is not adscript is wrong if it is not a Codiaeum. sent13: if something is a fauteuil then it is a Perth. sent14: the fact that something is a monorail or it is a gastropod or both is not wrong. sent15: the columbo is a kind of a monorail. sent16: the lemongrass is not a monorail.
sent15 -> int1: the columbo is a monorail and/or it is a Perth.; int1 -> int2: something is a monorail and/or a Perth.; int2 & sent5 -> hypothesis;
the annuitant is a gastropod.
sent12 -> int3: the fact that the pellitory-of-the-wall is a fauteuil and is not adscript does not hold if that it is not a kind of a Codiaeum hold.;
$hypothesis$ = the annuitant is not a gastropod. ; $context$ = sent1: something is a fauteuil and is a Codiaeum if it is not a maharani. sent2: the pellitory-of-the-wall is not a loop. sent3: the columbo does not indurate repeat. sent4: that if there exists something such that it is a kind of a Perth then the annuitant is not a gastropod is true. sent5: if there is something such that it is a kind of a monorail and/or it is a Perth the annuitant is not a gastropod. sent6: the annuitant is amaranthine. sent7: the columbo is not a gastropod. sent8: the fact that the columbo is adscript and it is a monorail is not right if something is not adscript. sent9: the pellitory-of-the-wall is not a stoichiometry. sent10: if the columbo is not a gastropod but it is a Perth then the annuitant is a gastropod. sent11: if the pellitory-of-the-wall is not a loop and not a stoichiometry then it is not adscript. sent12: that something is a fauteuil but it is not adscript is wrong if it is not a Codiaeum. sent13: if something is a fauteuil then it is a Perth. sent14: the fact that something is a monorail or it is a gastropod or both is not wrong. sent15: the columbo is a kind of a monorail. sent16: the lemongrass is not a monorail. ; $proof$ = 
sent15 -> int1: the columbo is a monorail and/or it is a Perth.; int1 -> int2: something is a monorail and/or a Perth.; int2 & sent5 -> hypothesis; __PROVED__