there exists something such that it is a kind of a lyricism and it is benedictory.
sent1: the fact that there exists something such that that it is sadistic and does catabolize does not hold hold. sent2: the sandwich does parse squirrelfish if it does not discard. sent3: if the damsel is not a cobble the pegmatite is a kind of a carbineer. sent4: there exists something such that it is benedictory. sent5: the wanter does forgive. sent6: there is something such that that it is a kind of non-sadistic thing that does catabolize is not correct. sent7: the wanter headquarters. sent8: the sandwich is a carbineer if the pegmatite is not a kind of a discard. sent9: the wanter is a discard. sent10: the wanter does not parse squirrelfish if the fact that something is not benedictory and forgives hold. sent11: if something does not article eschar but it is a kind of a discard then the damsel does not cobble. sent12: if there exists something such that the fact that it is not a lyricism and it is not non-benedictory is not true then the Cleome does not parse squirrelfish. sent13: if the wanter forgives the sandwich is benedictory. sent14: something discards. sent15: the hitter does parse squirrelfish. sent16: the fact that the sandwich discards is correct. sent17: there exists something such that it does not article eschar. sent18: the sandwich parses squirrelfish if the fact that it does not article eschar and discards is not right. sent19: that something is not a lyricism but it is benedictory is incorrect if it headquarters. sent20: something is a lyricism if it parses squirrelfish. sent21: if there is something such that that it is not sadistic and it catabolizes does not hold the pegmatite does not headquarter. sent22: there is something such that it is non-sadistic thing that catabolizes. sent23: that the damsel catabolizes is not incorrect. sent24: if there exists something such that it does not catabolize the fact that the pegmatite does not headquarter is correct. sent25: something articles eschar and it is a kind of a discard. sent26: if something does not headquarter then it is not a kind of a carbineer. sent27: something that does not parse squirrelfish is both a cobble and not a carbineer. sent28: something headquarters if it is sadistic. sent29: something is a kind of a lyricism.
void -> assump1: Let's assume that the sandwich does not article eschar but it is a discard.; assump1 -> int1: there is something such that it does not article eschar and discards.; int1 & sent11 -> int2: the damsel is not a kind of a cobble.; int2 & sent3 -> int3: the pegmatite is a carbineer.; sent26 -> int4: the pegmatite is not a carbineer if it does not headquarter.; sent6 & sent21 -> int5: the pegmatite does not headquarter.; int4 & int5 -> int6: the pegmatite is not a carbineer.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the sandwich does not article eschar but it is a discard does not hold.; int8 & sent18 -> int9: the sandwich does parse squirrelfish.; sent20 -> int10: the sandwich is a lyricism if it parses squirrelfish.; int9 & int10 -> int11: the sandwich is a lyricism.; sent13 & sent5 -> int12: the sandwich is benedictory.; int11 & int12 -> int13: the sandwich is both a lyricism and benedictory.; int13 -> hypothesis;
the Cleome cobbles.
sent27 -> int14: if the Cleome does not parse squirrelfish then it is a cobble and it is not a carbineer.; sent19 -> int15: if the damsel headquarters that it is not a lyricism and it is benedictory is wrong.; sent28 -> int16: if the damsel is sadistic it headquarters.;
$hypothesis$ = there exists something such that it is a kind of a lyricism and it is benedictory. ; $context$ = sent1: the fact that there exists something such that that it is sadistic and does catabolize does not hold hold. sent2: the sandwich does parse squirrelfish if it does not discard. sent3: if the damsel is not a cobble the pegmatite is a kind of a carbineer. sent4: there exists something such that it is benedictory. sent5: the wanter does forgive. sent6: there is something such that that it is a kind of non-sadistic thing that does catabolize is not correct. sent7: the wanter headquarters. sent8: the sandwich is a carbineer if the pegmatite is not a kind of a discard. sent9: the wanter is a discard. sent10: the wanter does not parse squirrelfish if the fact that something is not benedictory and forgives hold. sent11: if something does not article eschar but it is a kind of a discard then the damsel does not cobble. sent12: if there exists something such that the fact that it is not a lyricism and it is not non-benedictory is not true then the Cleome does not parse squirrelfish. sent13: if the wanter forgives the sandwich is benedictory. sent14: something discards. sent15: the hitter does parse squirrelfish. sent16: the fact that the sandwich discards is correct. sent17: there exists something such that it does not article eschar. sent18: the sandwich parses squirrelfish if the fact that it does not article eschar and discards is not right. sent19: that something is not a lyricism but it is benedictory is incorrect if it headquarters. sent20: something is a lyricism if it parses squirrelfish. sent21: if there is something such that that it is not sadistic and it catabolizes does not hold the pegmatite does not headquarter. sent22: there is something such that it is non-sadistic thing that catabolizes. sent23: that the damsel catabolizes is not incorrect. sent24: if there exists something such that it does not catabolize the fact that the pegmatite does not headquarter is correct. sent25: something articles eschar and it is a kind of a discard. sent26: if something does not headquarter then it is not a kind of a carbineer. sent27: something that does not parse squirrelfish is both a cobble and not a carbineer. sent28: something headquarters if it is sadistic. sent29: something is a kind of a lyricism. ; $proof$ = 
void -> assump1: Let's assume that the sandwich does not article eschar but it is a discard.; assump1 -> int1: there is something such that it does not article eschar and discards.; int1 & sent11 -> int2: the damsel is not a kind of a cobble.; int2 & sent3 -> int3: the pegmatite is a carbineer.; sent26 -> int4: the pegmatite is not a carbineer if it does not headquarter.; sent6 & sent21 -> int5: the pegmatite does not headquarter.; int4 & int5 -> int6: the pegmatite is not a carbineer.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the sandwich does not article eschar but it is a discard does not hold.; int8 & sent18 -> int9: the sandwich does parse squirrelfish.; sent20 -> int10: the sandwich is a lyricism if it parses squirrelfish.; int9 & int10 -> int11: the sandwich is a lyricism.; sent13 & sent5 -> int12: the sandwich is benedictory.; int11 & int12 -> int13: the sandwich is both a lyricism and benedictory.; int13 -> hypothesis; __PROVED__