the alligator does not teach Orcinus.
sent1: the fact that that the photoemission is not umbilical and it is not instructive is not incorrect is not right if the weevil is non-interdepartmental. sent2: something is breakable thing that does not teach Sanguinaria. sent3: if that the alligator teaches Sanguinaria and is not economic is not correct that it does not teach Orcinus is not false. sent4: there is something such that it is not an umbilical and/or it is not preventable. sent5: if something is non-umbilical the weevil is breakable and it is preventable. sent6: there exists something such that it is not economic. sent7: the photoemission is not a breakable if there exists something such that it does teach Sanguinaria and it is not economic.
void -> assump1: Let's assume that the alligator does teach Sanguinaria but it is not economic.; assump1 -> int1: there is something such that it teaches Sanguinaria and is not economic.; int1 & sent7 -> int2: the photoemission is not a breakable.;
the photoemission teaches Sanguinaria.
$hypothesis$ = the alligator does not teach Orcinus. ; $context$ = sent1: the fact that that the photoemission is not umbilical and it is not instructive is not incorrect is not right if the weevil is non-interdepartmental. sent2: something is breakable thing that does not teach Sanguinaria. sent3: if that the alligator teaches Sanguinaria and is not economic is not correct that it does not teach Orcinus is not false. sent4: there is something such that it is not an umbilical and/or it is not preventable. sent5: if something is non-umbilical the weevil is breakable and it is preventable. sent6: there exists something such that it is not economic. sent7: the photoemission is not a breakable if there exists something such that it does teach Sanguinaria and it is not economic. ; $proof$ = 
void -> assump1: Let's assume that the alligator does teach Sanguinaria but it is not economic.; assump1 -> int1: there is something such that it teaches Sanguinaria and is not economic.; int1 & sent7 -> int2: the photoemission is not a breakable.; __UNKNOWN__