the AFP is intralinguistic if the doornail does marshal Rand.
sent1: something is intralinguistic if it is a blemish. sent2: if something does not diverge then that it does preoccupy CD and is a MPS does not hold. sent3: if something is not Pharaonic then it marshals Rand and it is intralinguistic. sent4: the AFP is a kind of a blemish if there is something such that that it does preoccupy CD and it is a MPS is wrong. sent5: if the doornail does marshal Rand and/or is Pharaonic then it does not diverge. sent6: if the doornail is a MPS then the flexor is a MPS. sent7: the doornail is a MPS.
void -> assump1: Let's assume that the doornail does marshal Rand.; assump1 -> int1: the doornail does marshal Rand and/or it is Pharaonic.; int1 & sent5 -> int2: the doornail does not diverge.; sent2 -> int3: if the doornail does not diverge that it preoccupies CD and is a kind of a MPS does not hold.; int2 & int3 -> int4: the fact that that the doornail does preoccupy CD and it is a MPS is not false is not right.; int4 -> int5: there exists something such that that it preoccupies CD and is a MPS is not true.; int5 & sent4 -> int6: the AFP is a kind of a blemish.; sent1 -> int7: if the AFP is a kind of a blemish then the fact that it is intralinguistic hold.; int6 & int7 -> int8: that the AFP is not intralinguistic does not hold.; [assump1] & int8 -> hypothesis;
the flexor is intralinguistic or it is a blouse or both.
sent3 -> int9: the flexor marshals Rand and is intralinguistic if it is not Pharaonic.; sent6 & sent7 -> int10: that the flexor is a kind of a MPS hold.;
$hypothesis$ = the AFP is intralinguistic if the doornail does marshal Rand. ; $context$ = sent1: something is intralinguistic if it is a blemish. sent2: if something does not diverge then that it does preoccupy CD and is a MPS does not hold. sent3: if something is not Pharaonic then it marshals Rand and it is intralinguistic. sent4: the AFP is a kind of a blemish if there is something such that that it does preoccupy CD and it is a MPS is wrong. sent5: if the doornail does marshal Rand and/or is Pharaonic then it does not diverge. sent6: if the doornail is a MPS then the flexor is a MPS. sent7: the doornail is a MPS. ; $proof$ = 
void -> assump1: Let's assume that the doornail does marshal Rand.; assump1 -> int1: the doornail does marshal Rand and/or it is Pharaonic.; int1 & sent5 -> int2: the doornail does not diverge.; sent2 -> int3: if the doornail does not diverge that it preoccupies CD and is a kind of a MPS does not hold.; int2 & int3 -> int4: the fact that that the doornail does preoccupy CD and it is a MPS is not false is not right.; int4 -> int5: there exists something such that that it preoccupies CD and is a MPS is not true.; int5 & sent4 -> int6: the AFP is a kind of a blemish.; sent1 -> int7: if the AFP is a kind of a blemish then the fact that it is intralinguistic hold.; int6 & int7 -> int8: that the AFP is not intralinguistic does not hold.; [assump1] & int8 -> hypothesis; __PROVED__