the davit is not a desuetude.
sent1: if there exists something such that it does not believe vanity and/or is a feint the davit is a desuetude. sent2: something that is not postmeridian does not believe vanity or is a feint or both. sent3: that the botfly is not postmeridian is right.
sent2 -> int1: that if the botfly is non-postmeridian then the botfly either does not believe vanity or feints or both is not wrong.; int1 & sent3 -> int2: the botfly either does not believe vanity or does feint or both.; int2 -> int3: something does not believe vanity and/or does feint.; int3 & sent1 -> hypothesis;
$hypothesis$ = the davit is not a desuetude. ; $context$ = sent1: if there exists something such that it does not believe vanity and/or is a feint the davit is a desuetude. sent2: something that is not postmeridian does not believe vanity or is a feint or both. sent3: that the botfly is not postmeridian is right. ; $proof$ = 
sent2 -> int1: that if the botfly is non-postmeridian then the botfly either does not believe vanity or feints or both is not wrong.; int1 & sent3 -> int2: the botfly either does not believe vanity or does feint or both.; int2 -> int3: something does not believe vanity and/or does feint.; int3 & sent1 -> hypothesis; __DISPROVED__