there exists something such that it does not halve retentiveness.
sent1: The chaser does dive chewink. sent2: the modifier does not halve retentiveness if there exists something such that that it halves consonant and is not a consonant is incorrect. sent3: that something halves consonant and is not a consonant is not correct if it is not Moldovan. sent4: if something is not Moldovan then the fact that it does halve consonant and is a consonant does not hold. sent5: that the modifier does not halve Antigone is true. sent6: the fact that the chewink does not dive chaser is right if it gazes. sent7: there exists something such that it does not blister modifier. sent8: if the chaser is not a kind of a gaze that it does dive chaser and it is not a kind of a consonant is not true. sent9: there is something such that it does not halve VI. sent10: the fact that the chewink does dive chaser and is not Moldovan does not hold. sent11: there exists something such that that it does halve consonant and is a consonant is incorrect. sent12: the chewink is a kind of a gaze if the chaser is not non-Moldovan. sent13: something does halve retentiveness. sent14: there is something such that it halves consonant and is not a consonant. sent15: the gallina does halve consonant. sent16: the chaser does not gaze. sent17: the fact that the modifier does not dive chaser hold. sent18: if the chaser is not Moldovan that it halves consonant and it is a consonant is incorrect. sent19: if something is a consonant then the modifier does not halve retentiveness. sent20: the chewink does dive chaser. sent21: if the chewink does not dive chaser then that it halves retentiveness and is not Moldovan is false. sent22: the fact that the chaser does halve consonant and is a consonant is not true. sent23: the modifier is not a gaze.
void -> assump1: Let's assume that the chaser is Moldovan.; sent12 & assump1 -> int1: the chewink is a gaze.; int1 & sent6 -> int2: the chewink does not dive chaser.; int2 & sent20 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chaser is not Moldovan.; sent3 -> int5: if that the chaser is not Moldovan is correct then the fact that it halves consonant and it is not a kind of a consonant is false.; int4 & int5 -> int6: that the chaser does halve consonant but it is not a consonant is false.; int6 -> int7: there exists something such that that the fact that it does halve consonant and is not a consonant is not wrong is wrong.; int7 & sent2 -> int8: the modifier does not halve retentiveness.; int8 -> hypothesis;
$hypothesis$ = there exists something such that it does not halve retentiveness. ; $context$ = sent1: The chaser does dive chewink. sent2: the modifier does not halve retentiveness if there exists something such that that it halves consonant and is not a consonant is incorrect. sent3: that something halves consonant and is not a consonant is not correct if it is not Moldovan. sent4: if something is not Moldovan then the fact that it does halve consonant and is a consonant does not hold. sent5: that the modifier does not halve Antigone is true. sent6: the fact that the chewink does not dive chaser is right if it gazes. sent7: there exists something such that it does not blister modifier. sent8: if the chaser is not a kind of a gaze that it does dive chaser and it is not a kind of a consonant is not true. sent9: there is something such that it does not halve VI. sent10: the fact that the chewink does dive chaser and is not Moldovan does not hold. sent11: there exists something such that that it does halve consonant and is a consonant is incorrect. sent12: the chewink is a kind of a gaze if the chaser is not non-Moldovan. sent13: something does halve retentiveness. sent14: there is something such that it halves consonant and is not a consonant. sent15: the gallina does halve consonant. sent16: the chaser does not gaze. sent17: the fact that the modifier does not dive chaser hold. sent18: if the chaser is not Moldovan that it halves consonant and it is a consonant is incorrect. sent19: if something is a consonant then the modifier does not halve retentiveness. sent20: the chewink does dive chaser. sent21: if the chewink does not dive chaser then that it halves retentiveness and is not Moldovan is false. sent22: the fact that the chaser does halve consonant and is a consonant is not true. sent23: the modifier is not a gaze. ; $proof$ = 
void -> assump1: Let's assume that the chaser is Moldovan.; sent12 & assump1 -> int1: the chewink is a gaze.; int1 & sent6 -> int2: the chewink does not dive chaser.; int2 & sent20 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chaser is not Moldovan.; sent3 -> int5: if that the chaser is not Moldovan is correct then the fact that it halves consonant and it is not a kind of a consonant is false.; int4 & int5 -> int6: that the chaser does halve consonant but it is not a consonant is false.; int6 -> int7: there exists something such that that the fact that it does halve consonant and is not a consonant is not wrong is wrong.; int7 & sent2 -> int8: the modifier does not halve retentiveness.; int8 -> hypothesis; __PROVED__