if the pimpernel is not a jocoseness the glyceride complects scattered and it is unsuccessful.
sent1: the fact that the glyceride is not an artist if the pickup is not a clew and is an artist is not false. sent2: the glyceride is both corrigible and immunochemical. sent3: The educator does not defoliate pickup. sent4: if something is a cur then it complects scattered. sent5: the pickup is a cur. sent6: the coquette is not a jocoseness and is not aluminous. sent7: if something is a jocoseness it is an artist. sent8: if the pimpernel is not a jocoseness that that the glyceride is not Judaic and does complect recission is false is not false. sent9: the pimpernel is not a clew if it is not a kind of a jocoseness. sent10: if the glyceride is not a kind of a clew and it does not complect scattered then the pickup does not complect scattered. sent11: the pimpernel is not a Senegalese. sent12: the glyceride does not defoliate educator. sent13: the pickup does not complect recission if the glyceride is not a clew and does not complect recission. sent14: the pickup does not defoliate educator. sent15: something is a cur if it defoliates educator. sent16: if something does not defoliate Rio it is a COMINT. sent17: the pickup is unsuccessful if it is a clew. sent18: if the pickup does complect scattered then the glyceride is a kind of a clew and it does complect recission. sent19: the Cabernet does not defoliate educator. sent20: that the glyceride is not Judaic and complects recission is not correct if the pimpernel is a jocoseness. sent21: if the fact that something is not Judaic but it does complect recission does not hold it is a cur. sent22: if the pickup does not defoliate educator it is not a kind of a clew and it is not a kind of an artist. sent23: the pimpernel is not a kind of a jocoseness if it is not an artist. sent24: if the pimpernel is a jocoseness then the glyceride complects scattered and it is unsuccessful. sent25: if the glyceride is not an artist then it is unsuccessful. sent26: the glyceride is not an artist if the pickup is not a clew and it is not an artist. sent27: the pickup does not complect recission if the glyceride is not an artist but it does complect recission. sent28: if the pickup is a kind of a clew but it is not an artist the glyceride is not a kind of an artist.
void -> assump1: Let's assume that the pimpernel is not a jocoseness.; sent8 & assump1 -> int1: that the glyceride is not Judaic but it does complect recission does not hold.; sent21 -> int2: if the fact that the glyceride is not Judaic but it complects recission is incorrect then it is a kind of a cur.; int1 & int2 -> int3: the glyceride is a cur.; sent4 -> int4: the glyceride complects scattered if it is a cur.; int3 & int4 -> int5: the glyceride complects scattered.; sent22 & sent14 -> int6: the pickup is not a clew and is not an artist.; sent26 & int6 -> int7: that the glyceride is not a kind of an artist is not wrong.; sent25 & int7 -> int8: the glyceride is unsuccessful.; int5 & int8 -> int9: the glyceride complects scattered and it is unsuccessful.; [assump1] & int9 -> hypothesis;
$hypothesis$ = if the pimpernel is not a jocoseness the glyceride complects scattered and it is unsuccessful. ; $context$ = sent1: the fact that the glyceride is not an artist if the pickup is not a clew and is an artist is not false. sent2: the glyceride is both corrigible and immunochemical. sent3: The educator does not defoliate pickup. sent4: if something is a cur then it complects scattered. sent5: the pickup is a cur. sent6: the coquette is not a jocoseness and is not aluminous. sent7: if something is a jocoseness it is an artist. sent8: if the pimpernel is not a jocoseness that that the glyceride is not Judaic and does complect recission is false is not false. sent9: the pimpernel is not a clew if it is not a kind of a jocoseness. sent10: if the glyceride is not a kind of a clew and it does not complect scattered then the pickup does not complect scattered. sent11: the pimpernel is not a Senegalese. sent12: the glyceride does not defoliate educator. sent13: the pickup does not complect recission if the glyceride is not a clew and does not complect recission. sent14: the pickup does not defoliate educator. sent15: something is a cur if it defoliates educator. sent16: if something does not defoliate Rio it is a COMINT. sent17: the pickup is unsuccessful if it is a clew. sent18: if the pickup does complect scattered then the glyceride is a kind of a clew and it does complect recission. sent19: the Cabernet does not defoliate educator. sent20: that the glyceride is not Judaic and complects recission is not correct if the pimpernel is a jocoseness. sent21: if the fact that something is not Judaic but it does complect recission does not hold it is a cur. sent22: if the pickup does not defoliate educator it is not a kind of a clew and it is not a kind of an artist. sent23: the pimpernel is not a kind of a jocoseness if it is not an artist. sent24: if the pimpernel is a jocoseness then the glyceride complects scattered and it is unsuccessful. sent25: if the glyceride is not an artist then it is unsuccessful. sent26: the glyceride is not an artist if the pickup is not a clew and it is not an artist. sent27: the pickup does not complect recission if the glyceride is not an artist but it does complect recission. sent28: if the pickup is a kind of a clew but it is not an artist the glyceride is not a kind of an artist. ; $proof$ = 
void -> assump1: Let's assume that the pimpernel is not a jocoseness.; sent8 & assump1 -> int1: that the glyceride is not Judaic but it does complect recission does not hold.; sent21 -> int2: if the fact that the glyceride is not Judaic but it complects recission is incorrect then it is a kind of a cur.; int1 & int2 -> int3: the glyceride is a cur.; sent4 -> int4: the glyceride complects scattered if it is a cur.; int3 & int4 -> int5: the glyceride complects scattered.; sent22 & sent14 -> int6: the pickup is not a clew and is not an artist.; sent26 & int6 -> int7: that the glyceride is not a kind of an artist is not wrong.; sent25 & int7 -> int8: the glyceride is unsuccessful.; int5 & int8 -> int9: the glyceride complects scattered and it is unsuccessful.; [assump1] & int9 -> hypothesis; __PROVED__