the wale is not a lyceum.
sent1: if that the schlockmeister is not a kind of a narcoleptic is true then that it is a kind of revivalistic thing that does not dropkick thalassemia is false. sent2: something that is not a icecap is not a narcoleptic. sent3: either the miter is a geneticism or it is not a Mordva or both. sent4: the schlockmeister is a joylessness if the miter startles surpriser. sent5: if the miter is a kind of a traffic then that it is not a PO and does not startle surpriser is not correct. sent6: the defecation is not a kind of a icecap if something is a joylessness. sent7: the schlockmeister does not dropkick thalassemia if the defecation is not a geneticism. sent8: that that the miter startles surpriser is correct if that the miter is not a kind of a PO and does not startles surpriser does not hold hold. sent9: either the miter is not a kind of a geneticism or it is not a Mordva or both if the defecation is a geneticism. sent10: the wale is not a lyceum if the miter is not a geneticism and/or it is not a Mordva. sent11: something is not a kind of a Mordva and/or it does not update wale if it is not a kind of a narcoleptic. sent12: if the schlockmeister dropkicks thalassemia then the defecation dropkicks thalassemia or is not a geneticism or both. sent13: if the defecation is not a geneticism the schlockmeister is revivalistic but it does not dropkick thalassemia. sent14: the schlockmeister is not a narcoleptic. sent15: that the defecation is a bleach and it is Leonardesque is not correct. sent16: that the schlockmeister is revivalistic and it dropkicks thalassemia is incorrect. sent17: something is a lyceum and it is a geneticism if the fact that it is not a Mordva is right. sent18: the miter does traffic.
void -> assump1: Let's assume that the defecation is not a geneticism.; sent13 & assump1 -> int1: the schlockmeister is revivalistic and does not dropkick thalassemia.; sent1 & sent14 -> int2: the fact that the schlockmeister is revivalistic and does not dropkick thalassemia is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the defecation is a geneticism.; int4 & sent9 -> int5: the miter is not a geneticism and/or is not a Mordva.; int5 & sent10 -> hypothesis;
the wale is a lyceum.
sent17 -> int6: the wale is a lyceum and it is a geneticism if it is not a Mordva.; sent11 -> int7: if the defecation is not a narcoleptic it is not a Mordva and/or does not update wale.; sent2 -> int8: that the defecation is a kind of a narcoleptic is wrong if it is not a icecap.; sent5 & sent18 -> int9: the fact that the miter is not a PO and does not startle surpriser is wrong.; sent8 & int9 -> int10: the miter does startle surpriser.; sent4 & int10 -> int11: the schlockmeister is a joylessness.; int11 -> int12: that something is a joylessness hold.; int12 & sent6 -> int13: the defecation is not a icecap.; int8 & int13 -> int14: the fact that the defecation is not narcoleptic is correct.; int7 & int14 -> int15: the defecation either is not a kind of a Mordva or does not update wale or both.;
$hypothesis$ = the wale is not a lyceum. ; $context$ = sent1: if that the schlockmeister is not a kind of a narcoleptic is true then that it is a kind of revivalistic thing that does not dropkick thalassemia is false. sent2: something that is not a icecap is not a narcoleptic. sent3: either the miter is a geneticism or it is not a Mordva or both. sent4: the schlockmeister is a joylessness if the miter startles surpriser. sent5: if the miter is a kind of a traffic then that it is not a PO and does not startle surpriser is not correct. sent6: the defecation is not a kind of a icecap if something is a joylessness. sent7: the schlockmeister does not dropkick thalassemia if the defecation is not a geneticism. sent8: that that the miter startles surpriser is correct if that the miter is not a kind of a PO and does not startles surpriser does not hold hold. sent9: either the miter is not a kind of a geneticism or it is not a Mordva or both if the defecation is a geneticism. sent10: the wale is not a lyceum if the miter is not a geneticism and/or it is not a Mordva. sent11: something is not a kind of a Mordva and/or it does not update wale if it is not a kind of a narcoleptic. sent12: if the schlockmeister dropkicks thalassemia then the defecation dropkicks thalassemia or is not a geneticism or both. sent13: if the defecation is not a geneticism the schlockmeister is revivalistic but it does not dropkick thalassemia. sent14: the schlockmeister is not a narcoleptic. sent15: that the defecation is a bleach and it is Leonardesque is not correct. sent16: that the schlockmeister is revivalistic and it dropkicks thalassemia is incorrect. sent17: something is a lyceum and it is a geneticism if the fact that it is not a Mordva is right. sent18: the miter does traffic. ; $proof$ = 
void -> assump1: Let's assume that the defecation is not a geneticism.; sent13 & assump1 -> int1: the schlockmeister is revivalistic and does not dropkick thalassemia.; sent1 & sent14 -> int2: the fact that the schlockmeister is revivalistic and does not dropkick thalassemia is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the defecation is a geneticism.; int4 & sent9 -> int5: the miter is not a geneticism and/or is not a Mordva.; int5 & sent10 -> hypothesis; __PROVED__