the manse is not a Mesua.
sent1: the heartthrob is not a Mesua if it is a windward and does not teethe. sent2: the flap is not artful. sent3: everything is not a kind of a currant. sent4: the manse does not dun kainite if that it does pleach debut and it is not a Mesua is not correct. sent5: the manse is Orwellian if it is a kind of a polish that is not mini. sent6: the couchette is not ballistic if it is both nonoperational and not a Mesua. sent7: if something is a kind of Orwellian thing that is not a kind of a currant then it is not artless. sent8: the manse is artless. sent9: if the fact that something is not a polish is true it is not a Mesua. sent10: something is not a Mesua if that it is both a polish and not mini is false. sent11: the manse is a Mesua if the polyandrist is a currant. sent12: the manse is not ballistics.
void -> assump1: Let's assume that the manse is a polish that is not mini.; sent5 & assump1 -> int1: the manse is not non-Orwellian.; sent3 -> int2: the manse is not a currant.; int1 & int2 -> int3: the manse is Orwellian and is not a currant.; sent7 -> int4: if the manse is Orwellian but it is not a currant then it is not artless.; int3 & int4 -> int5: the manse is not artless.; int5 & sent8 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the manse is a polish but not mini does not hold.; sent10 -> int8: if that the manse does polish and is not mini does not hold it is not a kind of a Mesua.; int7 & int8 -> hypothesis;
the manse is a Mesua.
$hypothesis$ = the manse is not a Mesua. ; $context$ = sent1: the heartthrob is not a Mesua if it is a windward and does not teethe. sent2: the flap is not artful. sent3: everything is not a kind of a currant. sent4: the manse does not dun kainite if that it does pleach debut and it is not a Mesua is not correct. sent5: the manse is Orwellian if it is a kind of a polish that is not mini. sent6: the couchette is not ballistic if it is both nonoperational and not a Mesua. sent7: if something is a kind of Orwellian thing that is not a kind of a currant then it is not artless. sent8: the manse is artless. sent9: if the fact that something is not a polish is true it is not a Mesua. sent10: something is not a Mesua if that it is both a polish and not mini is false. sent11: the manse is a Mesua if the polyandrist is a currant. sent12: the manse is not ballistics. ; $proof$ = 
void -> assump1: Let's assume that the manse is a polish that is not mini.; sent5 & assump1 -> int1: the manse is not non-Orwellian.; sent3 -> int2: the manse is not a currant.; int1 & int2 -> int3: the manse is Orwellian and is not a currant.; sent7 -> int4: if the manse is Orwellian but it is not a currant then it is not artless.; int3 & int4 -> int5: the manse is not artless.; int5 & sent8 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the manse is a polish but not mini does not hold.; sent10 -> int8: if that the manse does polish and is not mini does not hold it is not a kind of a Mesua.; int7 & int8 -> hypothesis; __PROVED__