the geotropism is not proconsular.
sent1: something is not proconsular if it is non-Rhenish. sent2: if the roe does not contend then the fact that the geotropism is a kind of a mortmain and it does contend is wrong. sent3: if the fact that something does not dropkick vireo but it is nonfunctional is incorrect it is not cyclonic. sent4: if something is a endomorphy that it is not non-cyclonic hold. sent5: that the esker is a endomorphy if there is something such that it does not startle snatcher is right. sent6: the roe does not contend if there is something such that it does not dropkick vireo and is nonfunctional. sent7: there is something such that it does not startle snatcher.
sent3 -> int1: the esker is not cyclonic if the fact that the fact that it does not dropkick vireo and it is nonfunctional hold is not correct.; void -> assump1: Let's assume that that the esker does not dropkick vireo but it is nonfunctional does not hold.; int1 & assump1 -> int2: the esker is not cyclonic.; sent4 -> int3: the esker is cyclonic if the fact that it is a endomorphy hold.; sent7 & sent5 -> int4: the esker is a endomorphy.; int3 & int4 -> int5: that the esker is cyclonic is right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the esker does not dropkick vireo and is nonfunctional.; int7 -> int8: something does not dropkick vireo and is nonfunctional.; int8 & sent6 -> int9: the roe does not contend.; int9 & sent2 -> int10: the fact that the geotropism is a mortmain and it does contend does not hold.; sent1 -> int11: the geotropism is not proconsular if it is not a kind of a Rhenish.;
$hypothesis$ = the geotropism is not proconsular. ; $context$ = sent1: something is not proconsular if it is non-Rhenish. sent2: if the roe does not contend then the fact that the geotropism is a kind of a mortmain and it does contend is wrong. sent3: if the fact that something does not dropkick vireo but it is nonfunctional is incorrect it is not cyclonic. sent4: if something is a endomorphy that it is not non-cyclonic hold. sent5: that the esker is a endomorphy if there is something such that it does not startle snatcher is right. sent6: the roe does not contend if there is something such that it does not dropkick vireo and is nonfunctional. sent7: there is something such that it does not startle snatcher. ; $proof$ = 
sent3 -> int1: the esker is not cyclonic if the fact that the fact that it does not dropkick vireo and it is nonfunctional hold is not correct.; void -> assump1: Let's assume that that the esker does not dropkick vireo but it is nonfunctional does not hold.; int1 & assump1 -> int2: the esker is not cyclonic.; sent4 -> int3: the esker is cyclonic if the fact that it is a endomorphy hold.; sent7 & sent5 -> int4: the esker is a endomorphy.; int3 & int4 -> int5: that the esker is cyclonic is right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the esker does not dropkick vireo and is nonfunctional.; int7 -> int8: something does not dropkick vireo and is nonfunctional.; int8 & sent6 -> int9: the roe does not contend.; int9 & sent2 -> int10: the fact that the geotropism is a mortmain and it does contend does not hold.; sent1 -> int11: the geotropism is not proconsular if it is not a kind of a Rhenish.; __UNKNOWN__