there exists something such that if the fact that it is both marital and confident is not false it is not a kind of a megalopolis.
sent1: if the pyrolusite is both marital and confident it is a megalopolis. sent2: there exists something such that if it is robotics and it is a zigadene that it is not bibliophilic is not wrong. sent3: there is something such that if it is a kind of allomorphic thing that does overuse distressed it does not constellate. sent4: if something that tips pyrolusite does overuse lithomancy it is not overhead. sent5: if a marital thing is confident then it is not a kind of a megalopolis. sent6: there is something such that if it is both Leibnizian and steadying then it is not a thereness. sent7: if something is marital and confident it is a megalopolis. sent8: there exists something such that if it is both marital and confident then it is a megalopolis. sent9: the activator does not harvest Garnier if it is a kind of chalky thing that is a Poitier. sent10: if something that tips tael is attractive then it is not a kind of an abbot. sent11: if something is a kind of urethral thing that is thermostatics then that it does not flake respected hold. sent12: if the fact that something does overuse activator and is palmar is correct then it is not armillary. sent13: if something that tips tael is stemmatic then it is not a yoke.
sent5 -> int1: if the pyrolusite is marital and confident that it is not a megalopolis is not incorrect.; int1 -> hypothesis;
there exists something such that if it is urethral and it is thermostatics then it does not flake respected.
sent11 -> int2: that the hooks does not flake respected is not wrong if it is both urethral and thermostatics.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is both marital and confident is not false it is not a kind of a megalopolis. ; $context$ = sent1: if the pyrolusite is both marital and confident it is a megalopolis. sent2: there exists something such that if it is robotics and it is a zigadene that it is not bibliophilic is not wrong. sent3: there is something such that if it is a kind of allomorphic thing that does overuse distressed it does not constellate. sent4: if something that tips pyrolusite does overuse lithomancy it is not overhead. sent5: if a marital thing is confident then it is not a kind of a megalopolis. sent6: there is something such that if it is both Leibnizian and steadying then it is not a thereness. sent7: if something is marital and confident it is a megalopolis. sent8: there exists something such that if it is both marital and confident then it is a megalopolis. sent9: the activator does not harvest Garnier if it is a kind of chalky thing that is a Poitier. sent10: if something that tips tael is attractive then it is not a kind of an abbot. sent11: if something is a kind of urethral thing that is thermostatics then that it does not flake respected hold. sent12: if the fact that something does overuse activator and is palmar is correct then it is not armillary. sent13: if something that tips tael is stemmatic then it is not a yoke. ; $proof$ = 
sent5 -> int1: if the pyrolusite is marital and confident that it is not a megalopolis is not incorrect.; int1 -> hypothesis; __PROVED__