there is something such that if it does revise holotype then that either it is not acanthotic or it is nonwashable or both is not right.
sent1: there exists something such that if it does revise holotype it is acanthotic. sent2: that something is non-acanthotic and/or it is nonwashable is not true if it revises holotype.
sent2 -> int1: if the see revises holotype that it is not acanthotic and/or it is nonwashable is not right.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does revise holotype then that either it is not acanthotic or it is nonwashable or both is not right. ; $context$ = sent1: there exists something such that if it does revise holotype it is acanthotic. sent2: that something is non-acanthotic and/or it is nonwashable is not true if it revises holotype. ; $proof$ = 
sent2 -> int1: if the see revises holotype that it is not acanthotic and/or it is nonwashable is not right.; int1 -> hypothesis; __PROVED__