the neoliberal gums.
sent1: the neoliberal is a Aetobatus if there is something such that it is multiple-choice. sent2: the pyrocellulose is a kind of a Aetobatus that does smite totalitarian. sent3: the pyrocellulose is a henry. sent4: the rockery is not multiple-choice. sent5: if the rockery does smite kalemia or it is not a henry or both that it does not smite Goldsboro is right. sent6: there is something such that it is multiple-choice. sent7: something gums if it is not a kind of a zeta. sent8: the rockery is glossopharyngeal. sent9: if the fact that there exists something such that that it does not smite Goldsboro is correct is true then that the pyrocellulose is a Sufi is not false. sent10: the totalitarian does smite Goldsboro. sent11: if something does not gum then it is a kind of a henry. sent12: if the neoliberal is a Aetobatus and a zeta the pyrocellulose is not a Sufi. sent13: if something is not a kind of a zeta then it does smite kalemia. sent14: the rockery smites kalemia or is not a kind of a henry or both. sent15: there exists something such that it smites kalemia. sent16: the totalitarian is a kind of a Sufi.
sent6 & sent1 -> int1: the neoliberal is a kind of a Aetobatus.; void -> assump1: Let's assume that the neoliberal is a kind of a zeta.; int1 & assump1 -> int2: the neoliberal is a kind of a Aetobatus and is a zeta.; int2 & sent12 -> int3: the pyrocellulose is not Sufi.; sent5 & sent14 -> int4: the rockery does not smite Goldsboro.; int4 -> int5: there is something such that it does not smite Goldsboro.; int5 & sent9 -> int6: the pyrocellulose is a kind of a Sufi.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the neoliberal is not a zeta hold.; sent7 -> int9: if the neoliberal is not a kind of a zeta it does gum.; int8 & int9 -> hypothesis;
the neoliberal is not a gummed.
sent10 & sent16 -> int10: the totalitarian smites Goldsboro and it is a Sufi.; int10 -> int11: there is something such that it does smite Goldsboro and it is a Sufi.;
$hypothesis$ = the neoliberal gums. ; $context$ = sent1: the neoliberal is a Aetobatus if there is something such that it is multiple-choice. sent2: the pyrocellulose is a kind of a Aetobatus that does smite totalitarian. sent3: the pyrocellulose is a henry. sent4: the rockery is not multiple-choice. sent5: if the rockery does smite kalemia or it is not a henry or both that it does not smite Goldsboro is right. sent6: there is something such that it is multiple-choice. sent7: something gums if it is not a kind of a zeta. sent8: the rockery is glossopharyngeal. sent9: if the fact that there exists something such that that it does not smite Goldsboro is correct is true then that the pyrocellulose is a Sufi is not false. sent10: the totalitarian does smite Goldsboro. sent11: if something does not gum then it is a kind of a henry. sent12: if the neoliberal is a Aetobatus and a zeta the pyrocellulose is not a Sufi. sent13: if something is not a kind of a zeta then it does smite kalemia. sent14: the rockery smites kalemia or is not a kind of a henry or both. sent15: there exists something such that it smites kalemia. sent16: the totalitarian is a kind of a Sufi. ; $proof$ = 
sent6 & sent1 -> int1: the neoliberal is a kind of a Aetobatus.; void -> assump1: Let's assume that the neoliberal is a kind of a zeta.; int1 & assump1 -> int2: the neoliberal is a kind of a Aetobatus and is a zeta.; int2 & sent12 -> int3: the pyrocellulose is not Sufi.; sent5 & sent14 -> int4: the rockery does not smite Goldsboro.; int4 -> int5: there is something such that it does not smite Goldsboro.; int5 & sent9 -> int6: the pyrocellulose is a kind of a Sufi.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the neoliberal is not a zeta hold.; sent7 -> int9: if the neoliberal is not a kind of a zeta it does gum.; int8 & int9 -> hypothesis; __PROVED__