the home-farm is not representational if the faceplate is a kind of an incurable.
sent1: something is a Brownshirt and it is astomatal if it is not incurable. sent2: if the faceplate is not endometrial the home-farm is not a kind of a Mommsen. sent3: that the faceplate is astomatal if the faceplate is a kind of a Brownshirt is right. sent4: if the home-farm is not prescription but it is a Mommsen then it is not representational. sent5: the home-farm is not a Mommsen. sent6: if something is not a Brownshirt but it is an incurable then it is not endometrial. sent7: if the faceplate is not endometrial the home-farm is not prescription and it is not a Mommsen. sent8: that the home-farm is not a prescription but it does second is incorrect. sent9: the battleship is a kind of a Mommsen. sent10: the fact that the faceplate is not astomatal is right. sent11: if that the faceplate is not nonprescription is true then that the sour is not endometrial and it is not a Mommsen is incorrect.
void -> assump2: Let's assume that the faceplate is a Brownshirt.; sent3 & assump2 -> int1: the faceplate is astomatal.; int1 & sent10 -> int2: this is contradiction.; [assump2] & int2 -> int3: the faceplate is not a kind of a Brownshirt.; void -> assump1: Let's assume that the faceplate is an incurable.; int3 & assump1 -> int4: the fact that the faceplate is not a Brownshirt but it is a kind of an incurable is right.; sent6 -> int5: the faceplate is not endometrial if it is not a kind of a Brownshirt and it is incurable.; int4 & int5 -> int6: the faceplate is not endometrial.; int6 & sent7 -> int7: the home-farm is not a prescription and it is not a kind of a Mommsen.;
the sour is a Brownshirt.
sent1 -> int8: if the sour is not an incurable then it is a Brownshirt and is astomatal.; sent8 -> int9: there exists something such that the fact that it is not a prescription and does second is incorrect.;
$hypothesis$ = the home-farm is not representational if the faceplate is a kind of an incurable. ; $context$ = sent1: something is a Brownshirt and it is astomatal if it is not incurable. sent2: if the faceplate is not endometrial the home-farm is not a kind of a Mommsen. sent3: that the faceplate is astomatal if the faceplate is a kind of a Brownshirt is right. sent4: if the home-farm is not prescription but it is a Mommsen then it is not representational. sent5: the home-farm is not a Mommsen. sent6: if something is not a Brownshirt but it is an incurable then it is not endometrial. sent7: if the faceplate is not endometrial the home-farm is not prescription and it is not a Mommsen. sent8: that the home-farm is not a prescription but it does second is incorrect. sent9: the battleship is a kind of a Mommsen. sent10: the fact that the faceplate is not astomatal is right. sent11: if that the faceplate is not nonprescription is true then that the sour is not endometrial and it is not a Mommsen is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the faceplate is a Brownshirt.; sent3 & assump2 -> int1: the faceplate is astomatal.; int1 & sent10 -> int2: this is contradiction.; [assump2] & int2 -> int3: the faceplate is not a kind of a Brownshirt.; void -> assump1: Let's assume that the faceplate is an incurable.; int3 & assump1 -> int4: the fact that the faceplate is not a Brownshirt but it is a kind of an incurable is right.; sent6 -> int5: the faceplate is not endometrial if it is not a kind of a Brownshirt and it is incurable.; int4 & int5 -> int6: the faceplate is not endometrial.; int6 & sent7 -> int7: the home-farm is not a prescription and it is not a kind of a Mommsen.; __UNKNOWN__