the perineurium is a kind of non-cinematic a haggler.
sent1: there is something such that the fact that that it is either not a sulfonate or not a complex or both is not incorrect is not correct. sent2: the perineurium is not a perfluorocarbon if it is a thinker and is not ruminant. sent3: if the perineurium is not a kind of a perfluorocarbon that the wretch is not a kind of a perfluorocarbon and it is non-odorless is false. sent4: that if there exists something such that that it is not a kind of a sulfonate and/or is not complex does not hold the wretch is uveal is true. sent5: if the perineurium is Monophysite it is a thinker and it is not a ruminant. sent6: if the perineurium is not a Monophysite it is not cinematic and it is a haggler. sent7: the wretch is not uveal if the fact that it is both not a perfluorocarbon and not odorless is not true.
void -> assump1: Let's assume that the perineurium is Monophysite.; sent5 & assump1 -> int1: the perineurium is a kind of a thinker that is not a kind of a ruminant.; int1 & sent2 -> int2: that the perineurium is not a perfluorocarbon is correct.; int2 & sent3 -> int3: the fact that the wretch is both not a perfluorocarbon and not odorless is incorrect.; int3 & sent7 -> int4: the fact that the wretch is not uveal is true.; sent1 & sent4 -> int5: the wretch is uveal.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the perineurium is not Monophysite.; int7 & sent6 -> hypothesis;
$hypothesis$ = the perineurium is a kind of non-cinematic a haggler. ; $context$ = sent1: there is something such that the fact that that it is either not a sulfonate or not a complex or both is not incorrect is not correct. sent2: the perineurium is not a perfluorocarbon if it is a thinker and is not ruminant. sent3: if the perineurium is not a kind of a perfluorocarbon that the wretch is not a kind of a perfluorocarbon and it is non-odorless is false. sent4: that if there exists something such that that it is not a kind of a sulfonate and/or is not complex does not hold the wretch is uveal is true. sent5: if the perineurium is Monophysite it is a thinker and it is not a ruminant. sent6: if the perineurium is not a Monophysite it is not cinematic and it is a haggler. sent7: the wretch is not uveal if the fact that it is both not a perfluorocarbon and not odorless is not true. ; $proof$ = 
void -> assump1: Let's assume that the perineurium is Monophysite.; sent5 & assump1 -> int1: the perineurium is a kind of a thinker that is not a kind of a ruminant.; int1 & sent2 -> int2: that the perineurium is not a perfluorocarbon is correct.; int2 & sent3 -> int3: the fact that the wretch is both not a perfluorocarbon and not odorless is incorrect.; int3 & sent7 -> int4: the fact that the wretch is not uveal is true.; sent1 & sent4 -> int5: the wretch is uveal.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the perineurium is not Monophysite.; int7 & sent6 -> hypothesis; __PROVED__