that the lamprey is a kind of a hirsuteness and is not a Pentagon does not hold if it is a Semitic.
sent1: that something is a kind of a hirsuteness and is not a Pentagon is false if the fact that it is a Semitic is right. sent2: if the lamprey is Semitic that it is a kind of a hirsuteness and it is a Pentagon is not correct.
sent1 -> hypothesis;
$hypothesis$ = that the lamprey is a kind of a hirsuteness and is not a Pentagon does not hold if it is a Semitic. ; $context$ = sent1: that something is a kind of a hirsuteness and is not a Pentagon is false if the fact that it is a Semitic is right. sent2: if the lamprey is Semitic that it is a kind of a hirsuteness and it is a Pentagon is not correct. ; $proof$ = 
sent1 -> hypothesis; __PROVED__