the serin is lithic.
sent1: that the serin is not a kind of a ripsaw and it does not perform does not hold if it is not lithic. sent2: that the serin does not perform is correct. sent3: the oscillator does not splash and is not a jelly. sent4: the serin is not a ripsaw.
void -> assump1: Let's assume that the serin is not lithic.; sent1 & assump1 -> int1: the fact that the serin is not a kind of a ripsaw and does not perform is wrong.; sent4 & sent2 -> int2: the serin is not a ripsaw and does not perform.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the serin is lithic. ; $context$ = sent1: that the serin is not a kind of a ripsaw and it does not perform does not hold if it is not lithic. sent2: that the serin does not perform is correct. sent3: the oscillator does not splash and is not a jelly. sent4: the serin is not a ripsaw. ; $proof$ = 
void -> assump1: Let's assume that the serin is not lithic.; sent1 & assump1 -> int1: the fact that the serin is not a kind of a ripsaw and does not perform is wrong.; sent4 & sent2 -> int2: the serin is not a ripsaw and does not perform.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__