the vibist represses Geryon and it is unequal if it is not unsinkable.
sent1: there is nothing such that it is both not a chesterfield and not unequal. sent2: if the vibist is not unsinkable the fact that it does excrete serfdom and/or it is not a ISKCON is false. sent3: if the fact that something is not a chesterfield and is not unequal is incorrect then it is unequal. sent4: if that either something does excrete serfdom or it is not a ISKCON or both is incorrect it represses Geryon. sent5: the vibist does repress Geryon if that it does excrete serfdom and/or is a ISKCON does not hold.
void -> assump1: Let's assume that that the vibist is not unsinkable hold.; sent2 & assump1 -> int1: the fact that the vibist does excrete serfdom and/or is not a ISKCON is incorrect.; sent4 -> int2: if that the vibist does excrete serfdom or it is not a ISKCON or both is wrong it does repress Geryon.; int1 & int2 -> int3: the vibist represses Geryon.; sent3 -> int4: if the fact that the vibist is not a chesterfield and it is not unequal is incorrect then it is unequal.; sent1 -> int5: that the vibist is not a kind of a chesterfield and is not unequal is wrong.; int4 & int5 -> int6: that the vibist is unequal hold.; int3 & int6 -> int7: the vibist represses Geryon and is unequal.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the vibist represses Geryon and it is unequal if it is not unsinkable. ; $context$ = sent1: there is nothing such that it is both not a chesterfield and not unequal. sent2: if the vibist is not unsinkable the fact that it does excrete serfdom and/or it is not a ISKCON is false. sent3: if the fact that something is not a chesterfield and is not unequal is incorrect then it is unequal. sent4: if that either something does excrete serfdom or it is not a ISKCON or both is incorrect it represses Geryon. sent5: the vibist does repress Geryon if that it does excrete serfdom and/or is a ISKCON does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the vibist is not unsinkable hold.; sent2 & assump1 -> int1: the fact that the vibist does excrete serfdom and/or is not a ISKCON is incorrect.; sent4 -> int2: if that the vibist does excrete serfdom or it is not a ISKCON or both is wrong it does repress Geryon.; int1 & int2 -> int3: the vibist represses Geryon.; sent3 -> int4: if the fact that the vibist is not a chesterfield and it is not unequal is incorrect then it is unequal.; sent1 -> int5: that the vibist is not a kind of a chesterfield and is not unequal is wrong.; int4 & int5 -> int6: that the vibist is unequal hold.; int3 & int6 -> int7: the vibist represses Geryon and is unequal.; [assump1] & int7 -> hypothesis; __PROVED__