that the pintle is not a kind of an ancient is right.
sent1: if the pintle is both nonsectarian and non-Eucharistic it is a brachycephaly. sent2: if there is something such that it is a brachycephaly and not a Jimenez then that the pintle is a kind of an ancient is true. sent3: something is not non-ceramic if the fact that it does not aggregate boulder and does not dissociate laxness is not incorrect. sent4: if there is something such that it does not dissociate officeholder then the Calypso is not a ceramic. sent5: the Calypso is a ceramic. sent6: something is not a trifle if that the fact that either it is senatorial or it is not a kind of a calligraphy or both is not incorrect is false. sent7: there exists something such that it is optical and it dissociates officeholder. sent8: the cuprite does not aggregate boulder and does not dissociate laxness if it is not a trifle. sent9: the pintle is a brachycephaly if it is a kind of nonsectarian thing that is Eucharistic. sent10: the longwool is not a kind of a Jimenez if the pintle is a brachycephaly and an ancient. sent11: the pintle does not dissociate cuprite. sent12: the pintle is nonsectarian but not Eucharistic. sent13: the pintle is non-Eucharistic. sent14: there exists nothing such that that it is senatorial and/or it is not a calligraphy is not wrong. sent15: the Calypso is a brachycephaly. sent16: the Calypso is not a ceramic if there exists something such that that it is optical and it does dissociate officeholder is not right. sent17: if the longwool is not a Jimenez then the fact that it is optical and it dissociates officeholder is not right. sent18: if the cuprite is ceramic the fact that the merbromine is not a kind of a ceramic is true.
sent1 & sent12 -> int1: the pintle is a brachycephaly.; void -> assump1: Let's assume that the pintle is a kind of an ancient.; int1 & assump1 -> int2: the pintle is a kind of a brachycephaly that is a kind of an ancient.; int2 & sent10 -> int3: the longwool is not a Jimenez.; int3 & sent17 -> int4: the fact that the longwool is optical and does dissociate officeholder does not hold.; int4 -> int5: there is something such that the fact that it is optical and it does dissociate officeholder is not correct.; int5 & sent16 -> int6: the Calypso is not ceramic.; int6 & sent5 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the pintle is a kind of an ancient.
sent6 -> int8: the Maldivian is not a trifle if that it is senatorial and/or it is not a kind of a calligraphy is not correct.; sent14 -> int9: the fact that the Maldivian is either senatorial or not a calligraphy or both does not hold.; int8 & int9 -> int10: the Maldivian is not a trifle.; int10 -> int11: everything is not a trifle.; int11 -> int12: the cuprite is not a trifle.; int12 & sent8 -> int13: the cuprite does not aggregate boulder and it does not dissociate laxness.; sent3 -> int14: the cuprite is a ceramic if it does not aggregate boulder and does not dissociate laxness.; int13 & int14 -> int15: the cuprite is a ceramic.; int15 & sent18 -> int16: the merbromine is not ceramic.;
$hypothesis$ = that the pintle is not a kind of an ancient is right. ; $context$ = sent1: if the pintle is both nonsectarian and non-Eucharistic it is a brachycephaly. sent2: if there is something such that it is a brachycephaly and not a Jimenez then that the pintle is a kind of an ancient is true. sent3: something is not non-ceramic if the fact that it does not aggregate boulder and does not dissociate laxness is not incorrect. sent4: if there is something such that it does not dissociate officeholder then the Calypso is not a ceramic. sent5: the Calypso is a ceramic. sent6: something is not a trifle if that the fact that either it is senatorial or it is not a kind of a calligraphy or both is not incorrect is false. sent7: there exists something such that it is optical and it dissociates officeholder. sent8: the cuprite does not aggregate boulder and does not dissociate laxness if it is not a trifle. sent9: the pintle is a brachycephaly if it is a kind of nonsectarian thing that is Eucharistic. sent10: the longwool is not a kind of a Jimenez if the pintle is a brachycephaly and an ancient. sent11: the pintle does not dissociate cuprite. sent12: the pintle is nonsectarian but not Eucharistic. sent13: the pintle is non-Eucharistic. sent14: there exists nothing such that that it is senatorial and/or it is not a calligraphy is not wrong. sent15: the Calypso is a brachycephaly. sent16: the Calypso is not a ceramic if there exists something such that that it is optical and it does dissociate officeholder is not right. sent17: if the longwool is not a Jimenez then the fact that it is optical and it dissociates officeholder is not right. sent18: if the cuprite is ceramic the fact that the merbromine is not a kind of a ceramic is true. ; $proof$ = 
sent1 & sent12 -> int1: the pintle is a brachycephaly.; void -> assump1: Let's assume that the pintle is a kind of an ancient.; int1 & assump1 -> int2: the pintle is a kind of a brachycephaly that is a kind of an ancient.; int2 & sent10 -> int3: the longwool is not a Jimenez.; int3 & sent17 -> int4: the fact that the longwool is optical and does dissociate officeholder does not hold.; int4 -> int5: there is something such that the fact that it is optical and it does dissociate officeholder is not correct.; int5 & sent16 -> int6: the Calypso is not ceramic.; int6 & sent5 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__