the serine is a slop and it is a kind of a supremo.
sent1: there is something such that it is a supremo. sent2: something is a supremo if the fact that it is both a posseman and not a supremo is not true. sent3: that something slops and is a supremo does not hold if it is not a scullery. sent4: if that there exists something such that that it does not scant and it is not a skittishness is not true hold then the serine is a slop. sent5: the fact that the synovia does not scant and it is not a skittishness is wrong. sent6: if there exists something such that it is a kind of a supremo the fact that the serine is a posseman but it is not a kind of a supremo is not true. sent7: the serine is a slop if there exists something such that it is a kind of a skittishness.
sent5 -> int1: there is something such that that it does not scant and is not a skittishness is false.; int1 & sent4 -> int2: the serine slops.; sent2 -> int3: the serine is a supremo if that it is a posseman but not a supremo does not hold.; sent1 & sent6 -> int4: that the serine is a posseman but it is not a kind of a supremo does not hold.; int3 & int4 -> int5: the serine is a supremo.; int2 & int5 -> hypothesis;
the fact that the serine is a slop that is a supremo is not right.
sent3 -> int6: that the serine is a slop and it is a kind of a supremo does not hold if it is not a kind of a scullery.;
$hypothesis$ = the serine is a slop and it is a kind of a supremo. ; $context$ = sent1: there is something such that it is a supremo. sent2: something is a supremo if the fact that it is both a posseman and not a supremo is not true. sent3: that something slops and is a supremo does not hold if it is not a scullery. sent4: if that there exists something such that that it does not scant and it is not a skittishness is not true hold then the serine is a slop. sent5: the fact that the synovia does not scant and it is not a skittishness is wrong. sent6: if there exists something such that it is a kind of a supremo the fact that the serine is a posseman but it is not a kind of a supremo is not true. sent7: the serine is a slop if there exists something such that it is a kind of a skittishness. ; $proof$ = 
sent5 -> int1: there is something such that that it does not scant and is not a skittishness is false.; int1 & sent4 -> int2: the serine slops.; sent2 -> int3: the serine is a supremo if that it is a posseman but not a supremo does not hold.; sent1 & sent6 -> int4: that the serine is a posseman but it is not a kind of a supremo does not hold.; int3 & int4 -> int5: the serine is a supremo.; int2 & int5 -> hypothesis; __PROVED__