if the Methuselah is not non-electroencephalographic then the compartment is unsexy.
sent1: there exists something such that it is a roper. sent2: if something is not a kind of a roper then the wherry does not brief softball and is unsexy. sent3: the fact that the Methuselah is both not a roper and electroencephalographic is not false if there is something such that it does not brief softball. sent4: the wool does not brief softball if the Methuselah is electroencephalographic and/or it is skinny. sent5: the wool does not brief softball if the Methuselah is a kind of a skinny. sent6: the sociobiologist is a kind of a skinny. sent7: the fact that the wherry does not brief softball but it is a roper if there exists something such that it does not impinge rediscovery is not incorrect. sent8: that the Methuselah is unsexy is not wrong. sent9: the wool does brief softball and/or it impinges rediscovery. sent10: the wherry is electroencephalographic if the Methuselah does not brief softball and is a kind of a roper. sent11: if there is something such that it is not a kind of a roper the wherry is a kind of a skinny. sent12: the wherry does not impinge rediscovery but it is a roper if there is something such that that it does not brief softball is not wrong. sent13: if there is something such that it does not brief softball then the wool impinges rediscovery. sent14: the wool does impinge rediscovery. sent15: if the wherry does not impinge rediscovery and is a roper the compartment is unsexy.
void -> assump1: Let's assume that the Methuselah is electroencephalographic.; assump1 -> int1: the Methuselah is electroencephalographic or it is a skinny or both.; sent4 & int1 -> int2: the wool does not brief softball.; int2 -> int3: there is something such that the fact that it does not brief softball is not incorrect.; int3 & sent12 -> int4: the wherry does not impinge rediscovery but it is a roper.; sent15 & int4 -> int5: the compartment is unsexy.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the Methuselah is not non-electroencephalographic then the compartment is unsexy. ; $context$ = sent1: there exists something such that it is a roper. sent2: if something is not a kind of a roper then the wherry does not brief softball and is unsexy. sent3: the fact that the Methuselah is both not a roper and electroencephalographic is not false if there is something such that it does not brief softball. sent4: the wool does not brief softball if the Methuselah is electroencephalographic and/or it is skinny. sent5: the wool does not brief softball if the Methuselah is a kind of a skinny. sent6: the sociobiologist is a kind of a skinny. sent7: the fact that the wherry does not brief softball but it is a roper if there exists something such that it does not impinge rediscovery is not incorrect. sent8: that the Methuselah is unsexy is not wrong. sent9: the wool does brief softball and/or it impinges rediscovery. sent10: the wherry is electroencephalographic if the Methuselah does not brief softball and is a kind of a roper. sent11: if there is something such that it is not a kind of a roper the wherry is a kind of a skinny. sent12: the wherry does not impinge rediscovery but it is a roper if there is something such that that it does not brief softball is not wrong. sent13: if there is something such that it does not brief softball then the wool impinges rediscovery. sent14: the wool does impinge rediscovery. sent15: if the wherry does not impinge rediscovery and is a roper the compartment is unsexy. ; $proof$ = 
void -> assump1: Let's assume that the Methuselah is electroencephalographic.; assump1 -> int1: the Methuselah is electroencephalographic or it is a skinny or both.; sent4 & int1 -> int2: the wool does not brief softball.; int2 -> int3: there is something such that the fact that it does not brief softball is not incorrect.; int3 & sent12 -> int4: the wherry does not impinge rediscovery but it is a roper.; sent15 & int4 -> int5: the compartment is unsexy.; [assump1] & int5 -> hypothesis; __PROVED__