the midden is a kind of a Ailurus and it is a kind of a Charlemagne.
sent1: if that the codlins-and-cream is not amethystine and is not a presbyter is false the suction is a presbyter. sent2: if the Constable is not a presbyter then that it does not reincarnate and does thicken does not hold. sent3: the fact that something is a Ailurus and it is a Charlemagne does not hold if it is infallible. sent4: the fact that something is both discriminate and amethystine is incorrect if the fact that it is not a bentonite is not false. sent5: that something is not amethystine and is not a presbyter is not correct if it is not azonal. sent6: the triglyceride is a kind of a high-rise and does marshal E. sent7: if there exists something such that it is a kind of a soured then the midden is not a kind of a bentonite. sent8: something is not a bentonite and does not pluck Esselen if it is indiscriminate. sent9: the suction is a concrete and it does pluck Esselen. sent10: if that the suction is not a finale but it is a kind of a Ailurus does not hold it is not calceolate. sent11: the suction does not pluck Esselen if there is something such that either it is a presbyter or it is a bentonite or both. sent12: if there is something such that it is a kind of a concrete the Esselen is fallible. sent13: the fact that something marshals daggerboard and it is anisogametic is not correct if it is not dramatics. sent14: the midden is not fallible if it is indiscriminate. sent15: if the midden is not a bentonite the fact that it is indiscriminate and it is amethystine does not hold. sent16: if there exists something such that it is not a bentonite and does not pluck Esselen then the midden is a Charlemagne. sent17: the fact that the midden is infallible is not false if that it is not indiscriminate and it is amethystine is not correct. sent18: the suction does concrete. sent19: there is something such that it is a concrete.
void -> assump1: Let's assume that the midden is a kind of a bentonite.; assump1 -> int1: the midden either is a presbyter or is a bentonite or both.; int1 -> int2: there exists something such that it is a presbyter or a bentonite or both.; int2 & sent11 -> int3: the fact that the suction does not pluck Esselen is true.; sent9 -> int4: the suction plucks Esselen.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the midden is not a kind of a bentonite.; sent4 -> int7: the fact that that the midden is both not indiscriminate and amethystine is true is false if it is not a bentonite.; int6 & int7 -> int8: that the midden is not indiscriminate but amethystine is wrong.; int8 & sent17 -> int9: the midden is not fallible.; sent3 -> int10: that the fact that the midden is a Ailurus and it is a Charlemagne is not false does not hold if it is not fallible.; int9 & int10 -> hypothesis;
the midden is a Ailurus and it is a kind of a Charlemagne.
sent12 & sent19 -> int11: the Esselen is fallible.; sent8 -> int12: if the Esselen is indiscriminate it is not a bentonite and it does not pluck Esselen.; sent5 -> int13: that the dhow is not amethystine and it is not a kind of a presbyter is not correct if it is not azonal.;
$hypothesis$ = the midden is a kind of a Ailurus and it is a kind of a Charlemagne. ; $context$ = sent1: if that the codlins-and-cream is not amethystine and is not a presbyter is false the suction is a presbyter. sent2: if the Constable is not a presbyter then that it does not reincarnate and does thicken does not hold. sent3: the fact that something is a Ailurus and it is a Charlemagne does not hold if it is infallible. sent4: the fact that something is both discriminate and amethystine is incorrect if the fact that it is not a bentonite is not false. sent5: that something is not amethystine and is not a presbyter is not correct if it is not azonal. sent6: the triglyceride is a kind of a high-rise and does marshal E. sent7: if there exists something such that it is a kind of a soured then the midden is not a kind of a bentonite. sent8: something is not a bentonite and does not pluck Esselen if it is indiscriminate. sent9: the suction is a concrete and it does pluck Esselen. sent10: if that the suction is not a finale but it is a kind of a Ailurus does not hold it is not calceolate. sent11: the suction does not pluck Esselen if there is something such that either it is a presbyter or it is a bentonite or both. sent12: if there is something such that it is a kind of a concrete the Esselen is fallible. sent13: the fact that something marshals daggerboard and it is anisogametic is not correct if it is not dramatics. sent14: the midden is not fallible if it is indiscriminate. sent15: if the midden is not a bentonite the fact that it is indiscriminate and it is amethystine does not hold. sent16: if there exists something such that it is not a bentonite and does not pluck Esselen then the midden is a Charlemagne. sent17: the fact that the midden is infallible is not false if that it is not indiscriminate and it is amethystine is not correct. sent18: the suction does concrete. sent19: there is something such that it is a concrete. ; $proof$ = 
void -> assump1: Let's assume that the midden is a kind of a bentonite.; assump1 -> int1: the midden either is a presbyter or is a bentonite or both.; int1 -> int2: there exists something such that it is a presbyter or a bentonite or both.; int2 & sent11 -> int3: the fact that the suction does not pluck Esselen is true.; sent9 -> int4: the suction plucks Esselen.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the midden is not a kind of a bentonite.; sent4 -> int7: the fact that that the midden is both not indiscriminate and amethystine is true is false if it is not a bentonite.; int6 & int7 -> int8: that the midden is not indiscriminate but amethystine is wrong.; int8 & sent17 -> int9: the midden is not fallible.; sent3 -> int10: that the fact that the midden is a Ailurus and it is a Charlemagne is not false does not hold if it is not fallible.; int9 & int10 -> hypothesis; __DISPROVED__