that the bloodroot is not a kind of a Simulium and it is not archipelagic is not right.
sent1: the fact that the bloodroot is uncut is correct if it is not a Simulium and it is archipelagic. sent2: if that the return is a grant-in-aid is not wrong then the plasterer is not a kind of a sardine. sent3: if the plasterer is both not a Simulium and not variolar it is archipelagic. sent4: if the plasterer is fiducial then the fact that it is variolar and it is not a kind of a sardine does not hold. sent5: that the bloodroot is archipelagic but not fiducial is wrong. sent6: the bloodroot is not cut if it is not a Simulium and it is non-archipelagic. sent7: the plasterer is fiducial. sent8: the bloodroot is non-archipelagic if that it is non-archipelagic and it is not a kind of a sardine is false. sent9: the return is a kind of a garbageman. sent10: something is a grant-in-aid and/or is not naturistic if it is a garbageman. sent11: if that the bloodroot is uncut is right the plasterer is variolar. sent12: the bloodroot is a sardine. sent13: if the plasterer is not a Simulium but it is a sardine then it is variolar. sent14: if that something is both a sardine and not archipelagic is not right it is not a sardine. sent15: the fact that the plasterer does preserve endarterectomy hold. sent16: if that something is variolar and is not a sardine does not hold it is not variolar. sent17: the plasterer is not a kind of a sardine if the fact that it is both a sardine and not uncut is not true. sent18: the bloodroot does not abjure atelier and it is not a nib. sent19: the bloodroot blemishes quadrillion. sent20: that the bloodroot is not a kind of a Simulium but it is archipelagic is incorrect. sent21: the fact that the bloodroot is not archipelagic is not incorrect. sent22: the fact that the plasterer is not variolar and is not archipelagic does not hold. sent23: if the plasterer is uncut then the bloodroot is a kind of a sardine.
void -> assump1: Let's assume that the bloodroot is both not a Simulium and not archipelagic.; sent6 & assump1 -> int1: the bloodroot is uncut.; int1 & sent11 -> int2: that that the plasterer is not variolar is correct is not right.; sent16 -> int3: the plasterer is not variolar if the fact that it is variolar and it is not a sardine does not hold.; sent4 & sent7 -> int4: that the plasterer is a kind of variolar thing that is not a sardine is not right.; int3 & int4 -> int5: the plasterer is not variolar.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the bloodroot is not a Simulium and is not archipelagic.
sent10 -> int7: the return is a kind of a grant-in-aid or is not naturistic or both if it is a garbageman.; int7 & sent9 -> int8: the return is a grant-in-aid and/or non-naturistic.;
$hypothesis$ = that the bloodroot is not a kind of a Simulium and it is not archipelagic is not right. ; $context$ = sent1: the fact that the bloodroot is uncut is correct if it is not a Simulium and it is archipelagic. sent2: if that the return is a grant-in-aid is not wrong then the plasterer is not a kind of a sardine. sent3: if the plasterer is both not a Simulium and not variolar it is archipelagic. sent4: if the plasterer is fiducial then the fact that it is variolar and it is not a kind of a sardine does not hold. sent5: that the bloodroot is archipelagic but not fiducial is wrong. sent6: the bloodroot is not cut if it is not a Simulium and it is non-archipelagic. sent7: the plasterer is fiducial. sent8: the bloodroot is non-archipelagic if that it is non-archipelagic and it is not a kind of a sardine is false. sent9: the return is a kind of a garbageman. sent10: something is a grant-in-aid and/or is not naturistic if it is a garbageman. sent11: if that the bloodroot is uncut is right the plasterer is variolar. sent12: the bloodroot is a sardine. sent13: if the plasterer is not a Simulium but it is a sardine then it is variolar. sent14: if that something is both a sardine and not archipelagic is not right it is not a sardine. sent15: the fact that the plasterer does preserve endarterectomy hold. sent16: if that something is variolar and is not a sardine does not hold it is not variolar. sent17: the plasterer is not a kind of a sardine if the fact that it is both a sardine and not uncut is not true. sent18: the bloodroot does not abjure atelier and it is not a nib. sent19: the bloodroot blemishes quadrillion. sent20: that the bloodroot is not a kind of a Simulium but it is archipelagic is incorrect. sent21: the fact that the bloodroot is not archipelagic is not incorrect. sent22: the fact that the plasterer is not variolar and is not archipelagic does not hold. sent23: if the plasterer is uncut then the bloodroot is a kind of a sardine. ; $proof$ = 
void -> assump1: Let's assume that the bloodroot is both not a Simulium and not archipelagic.; sent6 & assump1 -> int1: the bloodroot is uncut.; int1 & sent11 -> int2: that that the plasterer is not variolar is correct is not right.; sent16 -> int3: the plasterer is not variolar if the fact that it is variolar and it is not a sardine does not hold.; sent4 & sent7 -> int4: that the plasterer is a kind of variolar thing that is not a sardine is not right.; int3 & int4 -> int5: the plasterer is not variolar.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__