if that the soloist is not a billfish but it is impatient is not true the cleavage does not outstare Stellite.
sent1: if the cleavage is a kind of a SGML that delights the soloist does not mystify slipcover. sent2: something that is not a SGML is not unorthodox. sent3: the cleavage is a delight. sent4: if the cleavage is not a kind of a SGML it does outstare Stellite and it is not unorthodox. sent5: something does not outstare Stellite and it is not unorthodox if it is not a SGML. sent6: if the soloist is not a billfish but impatient the cleavage does not outstare Stellite. sent7: something is not a billfish but impatient if it does not mystify slipcover. sent8: the soloist is not a billfish.
void -> assump1: Let's assume that the cleavage is a SGML.; assump1 & sent3 -> int1: the cleavage is a kind of a SGML that is a kind of a delight.; int1 & sent1 -> int2: the soloist does not mystify slipcover.; sent7 -> int3: the soloist is not a kind of a billfish but it is impatient if it does not mystify slipcover.; int2 & int3 -> int4: that the soloist is not a billfish but it is impatient is not false.; void -> assump2: Let's assume that that the fact that the soloist is not a billfish and is impatient is right does not hold.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cleavage is not a SGML.; sent5 -> int7: the cleavage does not outstare Stellite and it is not unorthodox if it is not a SGML.; int6 & int7 -> int8: the cleavage does not outstare Stellite and is not unorthodox.; int8 -> int9: the cleavage does not outstare Stellite.; [assump2] & int9 -> hypothesis;
$hypothesis$ = if that the soloist is not a billfish but it is impatient is not true the cleavage does not outstare Stellite. ; $context$ = sent1: if the cleavage is a kind of a SGML that delights the soloist does not mystify slipcover. sent2: something that is not a SGML is not unorthodox. sent3: the cleavage is a delight. sent4: if the cleavage is not a kind of a SGML it does outstare Stellite and it is not unorthodox. sent5: something does not outstare Stellite and it is not unorthodox if it is not a SGML. sent6: if the soloist is not a billfish but impatient the cleavage does not outstare Stellite. sent7: something is not a billfish but impatient if it does not mystify slipcover. sent8: the soloist is not a billfish. ; $proof$ = 
void -> assump1: Let's assume that the cleavage is a SGML.; assump1 & sent3 -> int1: the cleavage is a kind of a SGML that is a kind of a delight.; int1 & sent1 -> int2: the soloist does not mystify slipcover.; sent7 -> int3: the soloist is not a kind of a billfish but it is impatient if it does not mystify slipcover.; int2 & int3 -> int4: that the soloist is not a billfish but it is impatient is not false.; void -> assump2: Let's assume that that the fact that the soloist is not a billfish and is impatient is right does not hold.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cleavage is not a SGML.; sent5 -> int7: the cleavage does not outstare Stellite and it is not unorthodox if it is not a SGML.; int6 & int7 -> int8: the cleavage does not outstare Stellite and is not unorthodox.; int8 -> int9: the cleavage does not outstare Stellite.; [assump2] & int9 -> hypothesis; __PROVED__