there is something such that if it rivals Warhol then it is a kind of a powerlessness.
sent1: if the fact that something is not a Polynemidae and it is not a kind of a motet is wrong it is a powerlessness. sent2: the cobber does not rival Warhol if it is not a Polynemidae and is not a kind of a motet. sent3: if the fact that the cobber is not a powerlessness and does not rival Warhol is incorrect then the Mountie is a crawl. sent4: something is a kind of a powerlessness if it is a kind of a motet. sent5: the villainess rivals Warhol.
void -> assump2: Let's assume that the cobber is not a kind of a Polynemidae and is not a motet.; sent2 & assump2 -> int1: the cobber does not rival Warhol.; void -> assump1: Let's assume that the cobber rivals Warhol.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the cobber is not a Polynemidae and it is not a motet does not hold.; sent1 -> int4: if the fact that the cobber is not a Polynemidae and it is not a motet is not right then the fact that it is a powerlessness is true.; int3 & int4 -> int5: the fact that the cobber is a powerlessness is correct.; [assump1] & int5 -> int6: the cobber is a powerlessness if it does rival Warhol.; int6 -> hypothesis;
the Mountie is a crawl.
$hypothesis$ = there is something such that if it rivals Warhol then it is a kind of a powerlessness. ; $context$ = sent1: if the fact that something is not a Polynemidae and it is not a kind of a motet is wrong it is a powerlessness. sent2: the cobber does not rival Warhol if it is not a Polynemidae and is not a kind of a motet. sent3: if the fact that the cobber is not a powerlessness and does not rival Warhol is incorrect then the Mountie is a crawl. sent4: something is a kind of a powerlessness if it is a kind of a motet. sent5: the villainess rivals Warhol. ; $proof$ = 
void -> assump2: Let's assume that the cobber is not a kind of a Polynemidae and is not a motet.; sent2 & assump2 -> int1: the cobber does not rival Warhol.; void -> assump1: Let's assume that the cobber rivals Warhol.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the cobber is not a Polynemidae and it is not a motet does not hold.; sent1 -> int4: if the fact that the cobber is not a Polynemidae and it is not a motet is not right then the fact that it is a powerlessness is true.; int3 & int4 -> int5: the fact that the cobber is a powerlessness is correct.; [assump1] & int5 -> int6: the cobber is a powerlessness if it does rival Warhol.; int6 -> hypothesis; __PROVED__