the waverer is not unrealistic if the cove is alkaline.
sent1: the waverer is realistic if something is stainable and it is alkaline. sent2: there is something such that it is alkaline. sent3: if the waverer is stainable then the cove is not unrealistic. sent4: there are unrealistic things. sent5: the fact that the cove is not non-stainable is not wrong. sent6: the waverer is unrealistic if the cove is alkaline. sent7: if the cove is unrealistic then the waverer is not stainable. sent8: the waverer is unrealistic if something that is stainable is alkaline.
void -> assump1: Let's assume that the cove is alkaline.; sent5 & assump1 -> int1: the cove is stainable and is alkaline.; int1 -> int2: something is stainable and is alkaline.; int2 & sent1 -> int3: that the waverer is not unrealistic is true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the waverer is not unrealistic if the cove is alkaline. ; $context$ = sent1: the waverer is realistic if something is stainable and it is alkaline. sent2: there is something such that it is alkaline. sent3: if the waverer is stainable then the cove is not unrealistic. sent4: there are unrealistic things. sent5: the fact that the cove is not non-stainable is not wrong. sent6: the waverer is unrealistic if the cove is alkaline. sent7: if the cove is unrealistic then the waverer is not stainable. sent8: the waverer is unrealistic if something that is stainable is alkaline. ; $proof$ = 
void -> assump1: Let's assume that the cove is alkaline.; sent5 & assump1 -> int1: the cove is stainable and is alkaline.; int1 -> int2: something is stainable and is alkaline.; int2 & sent1 -> int3: that the waverer is not unrealistic is true.; [assump1] & int3 -> hypothesis; __PROVED__