either the exit does not dogmatize Percy or it is a Guatemalan or both.
sent1: the kidney is not non-cleaning but Nazi. sent2: the subsoil is not fewer. sent3: the antineutron is a cleaning or it is a kingsnake or both if there exists something such that it cleaning. sent4: the lodestone is not an extinction if the fact that the linkage is non-explosive thing that is a kind of an extinction is not right. sent5: The store determines hornist. sent6: that the hornist swelters is not false. sent7: if something that is a deerberry is cleaning then it does not swelter. sent8: if something does swelter and it does determine store the fact that it is non-cleaning hold. sent9: that the exit does clean hold if the antineutron is a clean. sent10: the exit does determine store. sent11: if the exit is non-fewer and a deerberry then it does not dogmatize Percy. sent12: the hornist determines store. sent13: something is a cleaning if the fact that it is a kind of a salting and is not a deerberry is not correct. sent14: if something is not a kind of an extinction the fact that it is a salting and it is not a deerberry does not hold. sent15: the hornist does not dogmatize Percy and/or it is a kind of a cleaning. sent16: the hornist does traffic caress. sent17: something that is a kind of a cleaning or is not fewer or both is not fewer. sent18: if the exit is both not fewer and not a deerberry then that it does not dogmatize Percy hold. sent19: that the linkage is a Spock or it is not leaky or both is not true if it is nonextant. sent20: the fact that something is not explosive but it is an extinction does not hold if it is not a kind of a NARA. sent21: the linkage is not a NARA if that it is a Spock or not leaky or both is not right. sent22: the exit does swelter and determines bitter. sent23: the linkage is nonextant. sent24: if the hornist is not cleaning the exit is not fewer and it is not a kind of a deerberry. sent25: the exit is not a deerberry if the hornist is not cleaning. sent26: the exit does dogmatize Percy and/or it is a Guatemalan.
sent8 -> int1: the hornist is not a cleaning if that it swelters and does determine store is true.; sent6 & sent12 -> int2: that the hornist swelters and determines store is right.; int1 & int2 -> int3: the hornist is not a kind of a cleaning.; int3 & sent24 -> int4: the exit is non-fewer thing that is not a deerberry.; int4 & sent18 -> int5: the fact that the exit does not dogmatize Percy hold.; int5 -> hypothesis;
that the exit does not dogmatize Percy and/or it is a Guatemalan is not true.
sent17 -> int6: if the exit does clean and/or is not fewer then it is not fewer.; sent13 -> int7: if that the lodestone is a salting and is not a kind of a deerberry is wrong then it is cleaning.; sent14 -> int8: if the lodestone is not a kind of an extinction the fact that it is a salting and it is not a deerberry is not correct.; sent20 -> int9: if the linkage is not a NARA the fact that it is non-explosive an extinction is not correct.; sent19 & sent23 -> int10: that the linkage is a Spock and/or it is not leaky is not right.; sent21 & int10 -> int11: the linkage is not a NARA.; int9 & int11 -> int12: the fact that the linkage is not a kind of an explosive and is a kind of an extinction does not hold.; sent4 & int12 -> int13: the lodestone is not an extinction.; int8 & int13 -> int14: that the lodestone does salt and is not a deerberry does not hold.; int7 & int14 -> int15: the lodestone is cleaning.; int15 -> int16: there is something such that it does clean.; int16 & sent3 -> int17: the antineutron cleans or it is a kingsnake or both.;
$hypothesis$ = either the exit does not dogmatize Percy or it is a Guatemalan or both. ; $context$ = sent1: the kidney is not non-cleaning but Nazi. sent2: the subsoil is not fewer. sent3: the antineutron is a cleaning or it is a kingsnake or both if there exists something such that it cleaning. sent4: the lodestone is not an extinction if the fact that the linkage is non-explosive thing that is a kind of an extinction is not right. sent5: The store determines hornist. sent6: that the hornist swelters is not false. sent7: if something that is a deerberry is cleaning then it does not swelter. sent8: if something does swelter and it does determine store the fact that it is non-cleaning hold. sent9: that the exit does clean hold if the antineutron is a clean. sent10: the exit does determine store. sent11: if the exit is non-fewer and a deerberry then it does not dogmatize Percy. sent12: the hornist determines store. sent13: something is a cleaning if the fact that it is a kind of a salting and is not a deerberry is not correct. sent14: if something is not a kind of an extinction the fact that it is a salting and it is not a deerberry does not hold. sent15: the hornist does not dogmatize Percy and/or it is a kind of a cleaning. sent16: the hornist does traffic caress. sent17: something that is a kind of a cleaning or is not fewer or both is not fewer. sent18: if the exit is both not fewer and not a deerberry then that it does not dogmatize Percy hold. sent19: that the linkage is a Spock or it is not leaky or both is not true if it is nonextant. sent20: the fact that something is not explosive but it is an extinction does not hold if it is not a kind of a NARA. sent21: the linkage is not a NARA if that it is a Spock or not leaky or both is not right. sent22: the exit does swelter and determines bitter. sent23: the linkage is nonextant. sent24: if the hornist is not cleaning the exit is not fewer and it is not a kind of a deerberry. sent25: the exit is not a deerberry if the hornist is not cleaning. sent26: the exit does dogmatize Percy and/or it is a Guatemalan. ; $proof$ = 
sent8 -> int1: the hornist is not a cleaning if that it swelters and does determine store is true.; sent6 & sent12 -> int2: that the hornist swelters and determines store is right.; int1 & int2 -> int3: the hornist is not a kind of a cleaning.; int3 & sent24 -> int4: the exit is non-fewer thing that is not a deerberry.; int4 & sent18 -> int5: the fact that the exit does not dogmatize Percy hold.; int5 -> hypothesis; __PROVED__