there exists something such that if it does not reflect Sennacherib it is both a twinflower and a octosyllable.
sent1: the Maratha is a twinflower and drizzles ardor if it does not reflect Sennacherib. sent2: the streetlight is a kind of a lobbyist. sent3: there exists something such that if it does not drizzle ardor it does reflect Sennacherib and it is a twinflower. sent4: everything is a octosyllable that is not an electric. sent5: the Maratha is not an electric. sent6: the streetlight wakes Nasser. sent7: if the Lens is not a kymograph then it is a groundsman and a Zoroastrian. sent8: if the probationer is not a TLC then the restoration is a octosyllable and/or it is multilane.
void -> assump1: Let's assume that the fact that the Maratha does not reflect Sennacherib is correct.; sent1 & assump1 -> int1: the Maratha is a twinflower and drizzles ardor.; int1 -> int2: the Maratha is a kind of a twinflower.; sent4 -> int3: the Maratha is a kind of a octosyllable and is non-electric.; int3 -> int4: the Maratha is a kind of a octosyllable.; int2 & int4 -> int5: the Maratha is a kind of a twinflower and is a octosyllable.; [assump1] & int5 -> int6: the Maratha is a kind of a twinflower that is a octosyllable if it does not reflect Sennacherib.; int6 -> hypothesis;
the glutethimide is theological and is not an electric.
sent6 & sent2 -> int7: the streetlight wakes Nasser and it is a lobbyist.; int7 -> int8: there exists something such that it does wake Nasser and is a kind of a lobbyist.;
$hypothesis$ = there exists something such that if it does not reflect Sennacherib it is both a twinflower and a octosyllable. ; $context$ = sent1: the Maratha is a twinflower and drizzles ardor if it does not reflect Sennacherib. sent2: the streetlight is a kind of a lobbyist. sent3: there exists something such that if it does not drizzle ardor it does reflect Sennacherib and it is a twinflower. sent4: everything is a octosyllable that is not an electric. sent5: the Maratha is not an electric. sent6: the streetlight wakes Nasser. sent7: if the Lens is not a kymograph then it is a groundsman and a Zoroastrian. sent8: if the probationer is not a TLC then the restoration is a octosyllable and/or it is multilane. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Maratha does not reflect Sennacherib is correct.; sent1 & assump1 -> int1: the Maratha is a twinflower and drizzles ardor.; int1 -> int2: the Maratha is a kind of a twinflower.; sent4 -> int3: the Maratha is a kind of a octosyllable and is non-electric.; int3 -> int4: the Maratha is a kind of a octosyllable.; int2 & int4 -> int5: the Maratha is a kind of a twinflower and is a octosyllable.; [assump1] & int5 -> int6: the Maratha is a kind of a twinflower that is a octosyllable if it does not reflect Sennacherib.; int6 -> hypothesis; __PROVED__