the expectoration is microcosmic.
sent1: if something is not an alligator then that it is not a ex-spouse and it is not brassy is not true. sent2: The otter does reward gabapentin. sent3: if the fact that the expectoration is not microcosmic is not false the gabapentin is not microcosmic. sent4: the gabapentin does reward otter. sent5: if there are brassy things then the gabapentin does not reward otter. sent6: if something does not slag sebum but it is an alligator the expectoration is microcosmic. sent7: the solid is not a kind of a ex-spouse if there are non-brassy things. sent8: if the solid is not a ex-spouse it does not slag sebum and alligators. sent9: if that the gabapentin is not a ex-spouse and it is not brassy does not hold then the solid does not reward otter.
void -> assump1: Let's assume that the trouper is brassy.; assump1 -> int1: something is brassy.; int1 & sent5 -> int2: the gabapentin does not reward otter.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trouper is not brassy.; int4 -> int5: something is not brassy.; int5 & sent7 -> int6: the solid is not a kind of a ex-spouse.; int6 & sent8 -> int7: the fact that the solid does not slag sebum and alligators hold.; int7 -> int8: there exists something such that it does not slag sebum and is an alligator.; int8 & sent6 -> hypothesis;
the solid does not reward otter.
sent1 -> int9: the fact that the gabapentin is not a kind of a ex-spouse and it is not brassy does not hold if it is not an alligator.;
$hypothesis$ = the expectoration is microcosmic. ; $context$ = sent1: if something is not an alligator then that it is not a ex-spouse and it is not brassy is not true. sent2: The otter does reward gabapentin. sent3: if the fact that the expectoration is not microcosmic is not false the gabapentin is not microcosmic. sent4: the gabapentin does reward otter. sent5: if there are brassy things then the gabapentin does not reward otter. sent6: if something does not slag sebum but it is an alligator the expectoration is microcosmic. sent7: the solid is not a kind of a ex-spouse if there are non-brassy things. sent8: if the solid is not a ex-spouse it does not slag sebum and alligators. sent9: if that the gabapentin is not a ex-spouse and it is not brassy does not hold then the solid does not reward otter. ; $proof$ = 
void -> assump1: Let's assume that the trouper is brassy.; assump1 -> int1: something is brassy.; int1 & sent5 -> int2: the gabapentin does not reward otter.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trouper is not brassy.; int4 -> int5: something is not brassy.; int5 & sent7 -> int6: the solid is not a kind of a ex-spouse.; int6 & sent8 -> int7: the fact that the solid does not slag sebum and alligators hold.; int7 -> int8: there exists something such that it does not slag sebum and is an alligator.; int8 & sent6 -> hypothesis; __PROVED__