there is something such that if that it is not unmanly and it is a reenlistment does not hold it is a kind of an advisability.
sent1: something is an advisability if the fact that it is a kind of unmanly thing that is a reenlistment does not hold. sent2: if the fact that something is not a kind of a consummation but it demilitarizes does not hold then it is amoebic. sent3: if the fact that something is not unmanly but it is a reenlistment does not hold that it is an advisability is not false.
sent3 -> int1: the arteriole is a kind of an advisability if the fact that it is not unmanly but a reenlistment is not right.; int1 -> hypothesis;
there is something such that if the fact that it is not a kind of a consummation and it demilitarizes is false it is amoebic.
sent2 -> int2: the blackcock is amoebic if the fact that it is not a kind of a consummation and it does demilitarize is false.; int2 -> hypothesis;
$hypothesis$ = there is something such that if that it is not unmanly and it is a reenlistment does not hold it is a kind of an advisability. ; $context$ = sent1: something is an advisability if the fact that it is a kind of unmanly thing that is a reenlistment does not hold. sent2: if the fact that something is not a kind of a consummation but it demilitarizes does not hold then it is amoebic. sent3: if the fact that something is not unmanly but it is a reenlistment does not hold that it is an advisability is not false. ; $proof$ = 
sent3 -> int1: the arteriole is a kind of an advisability if the fact that it is not unmanly but a reenlistment is not right.; int1 -> hypothesis; __PROVED__