the fact that if the polypropylene is a Nerium the linemen is insular is wrong.
sent1: if the polypropylene is saponaceous then the abridger is not a Nerium. sent2: the abridger is insular but it is not saponaceous. sent3: the paralegal is insular if the linemen is a kind of a Mugil. sent4: there is something such that it is a kind of a Mugil. sent5: the linemen is a Mugil if the fact that the paralegal is insular is true. sent6: the abridger is insular. sent7: if the polypropylene is a Nerium the paralegal is a Mugil. sent8: if there is something such that it is a Mugil and it is not saponaceous the linemen is insular. sent9: there is something such that it is insular and it is a Mugil. sent10: if the paralegal is a Mugil then the abridger is a Mugil but it is not saponaceous.
void -> assump1: Let's assume that the polypropylene is a Nerium.; sent7 & assump1 -> int1: the paralegal is a kind of a Mugil.; sent10 & int1 -> int2: the abridger is both a Mugil and not saponaceous.; int2 -> int3: there is something such that it is a kind of a Mugil and it is not saponaceous.; int3 & sent8 -> int4: the linemen is insular.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the polypropylene is a Nerium the linemen is insular is wrong. ; $context$ = sent1: if the polypropylene is saponaceous then the abridger is not a Nerium. sent2: the abridger is insular but it is not saponaceous. sent3: the paralegal is insular if the linemen is a kind of a Mugil. sent4: there is something such that it is a kind of a Mugil. sent5: the linemen is a Mugil if the fact that the paralegal is insular is true. sent6: the abridger is insular. sent7: if the polypropylene is a Nerium the paralegal is a Mugil. sent8: if there is something such that it is a Mugil and it is not saponaceous the linemen is insular. sent9: there is something such that it is insular and it is a Mugil. sent10: if the paralegal is a Mugil then the abridger is a Mugil but it is not saponaceous. ; $proof$ = 
void -> assump1: Let's assume that the polypropylene is a Nerium.; sent7 & assump1 -> int1: the paralegal is a kind of a Mugil.; sent10 & int1 -> int2: the abridger is both a Mugil and not saponaceous.; int2 -> int3: there is something such that it is a kind of a Mugil and it is not saponaceous.; int3 & sent8 -> int4: the linemen is insular.; [assump1] & int4 -> hypothesis; __DISPROVED__