the polyelectrolyte does not hate Josephus.
sent1: the fact that the bootleg is a wryneck and it is a fix is false. sent2: that the bootleg is a wine and does not hate Josephus is not right. sent3: the bootleg does fix. sent4: the polyelectrolyte does not hate Josephus if the bootleg wines. sent5: something that is not a fix is a kind of a wryneck that does not propitiate. sent6: the krait is a fix. sent7: if that something is both a wryneck and not a fix is incorrect then it is a kind of a wine. sent8: if the polyelectrolyte is not a fix then it is not a wryneck and does hate Josephus.
void -> assump1: Let's assume that the bootleg is a wryneck but it does not fix.; assump1 -> int1: that the bootleg is not a fix is true.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bootleg is a wryneck but it does not fix is not right.; sent7 -> int4: if that the bootleg is a wryneck and is not a fix is false it wines.; int3 & int4 -> int5: the bootleg wines.; int5 & sent4 -> hypothesis;
the cycle is a wryneck but it does not propitiate.
sent5 -> int6: if the cycle is not a fix it is a wryneck and it does not propitiate.;
$hypothesis$ = the polyelectrolyte does not hate Josephus. ; $context$ = sent1: the fact that the bootleg is a wryneck and it is a fix is false. sent2: that the bootleg is a wine and does not hate Josephus is not right. sent3: the bootleg does fix. sent4: the polyelectrolyte does not hate Josephus if the bootleg wines. sent5: something that is not a fix is a kind of a wryneck that does not propitiate. sent6: the krait is a fix. sent7: if that something is both a wryneck and not a fix is incorrect then it is a kind of a wine. sent8: if the polyelectrolyte is not a fix then it is not a wryneck and does hate Josephus. ; $proof$ = 
void -> assump1: Let's assume that the bootleg is a wryneck but it does not fix.; assump1 -> int1: that the bootleg is not a fix is true.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bootleg is a wryneck but it does not fix is not right.; sent7 -> int4: if that the bootleg is a wryneck and is not a fix is false it wines.; int3 & int4 -> int5: the bootleg wines.; int5 & sent4 -> hypothesis; __PROVED__