the nog is a kind of a portal if the fact that the pyrograph is a kind of a heliogram is not false.
sent1: if there is something such that that it is a kind of non-epizoic thing that is a heliogram is not correct the pyrograph is a kind of a clotheshorse. sent2: if the nog is not a heliogram that the pyrograph does not party and is a stump is not correct. sent3: the nog is a kind of a heliogram. sent4: if there is something such that the fact that it is not epizoic and it is a clotheshorse is not true the nog is a portal. sent5: there exists something such that the fact that it is not a clotheshorse and is a portal is not true. sent6: that the nog is not a kind of a portal but it is epizoic is not right. sent7: there exists something such that that it is not a portal and is a kind of a heliogram is false.
there is something such that that it does not party and it is a kind of a stump is not true.
$hypothesis$ = the nog is a kind of a portal if the fact that the pyrograph is a kind of a heliogram is not false. ; $context$ = sent1: if there is something such that that it is a kind of non-epizoic thing that is a heliogram is not correct the pyrograph is a kind of a clotheshorse. sent2: if the nog is not a heliogram that the pyrograph does not party and is a stump is not correct. sent3: the nog is a kind of a heliogram. sent4: if there is something such that the fact that it is not epizoic and it is a clotheshorse is not true the nog is a portal. sent5: there exists something such that the fact that it is not a clotheshorse and is a portal is not true. sent6: that the nog is not a kind of a portal but it is epizoic is not right. sent7: there exists something such that that it is not a portal and is a kind of a heliogram is false. ; $proof$ = 
__UNKNOWN__