the narcissist is not a Mauritanian.
sent1: the narcissist either is innocuous or bedews woodworm or both. sent2: the fugu is not a Mauritanian and it does not harry solenogaster if the greenbelt is anticoagulative. sent3: if the fugu is not synthetic and/or it is innocuous the narcissist is not a Mauritanian. sent4: if the fact that the adolescent is a kind of non-synthetic thing that is anticoagulative is not correct then the greenbelt is anticoagulative. sent5: the fugu is not a synthetic if there is something such that it is anticoagulative thing that does harry solenogaster. sent6: if the fugu is a kind of non-Mauritanian thing that does not harry solenogaster then the narcissist is a kind of a non-Mauritanian. sent7: there exists something such that it is anticoagulative and it harries solenogaster.
sent7 & sent5 -> int1: the fugu is not a synthetic.; int1 -> int2: the fugu is not a kind of a synthetic and/or it is innocuous.; int2 & sent3 -> hypothesis;
the narcissist is Mauritanian.
$hypothesis$ = the narcissist is not a Mauritanian. ; $context$ = sent1: the narcissist either is innocuous or bedews woodworm or both. sent2: the fugu is not a Mauritanian and it does not harry solenogaster if the greenbelt is anticoagulative. sent3: if the fugu is not synthetic and/or it is innocuous the narcissist is not a Mauritanian. sent4: if the fact that the adolescent is a kind of non-synthetic thing that is anticoagulative is not correct then the greenbelt is anticoagulative. sent5: the fugu is not a synthetic if there is something such that it is anticoagulative thing that does harry solenogaster. sent6: if the fugu is a kind of non-Mauritanian thing that does not harry solenogaster then the narcissist is a kind of a non-Mauritanian. sent7: there exists something such that it is anticoagulative and it harries solenogaster. ; $proof$ = 
sent7 & sent5 -> int1: the fugu is not a synthetic.; int1 -> int2: the fugu is not a kind of a synthetic and/or it is innocuous.; int2 & sent3 -> hypothesis; __PROVED__