the cotton is anamnestic.
sent1: the balletomane is anamnestic. sent2: the pestle is anamnestic. sent3: the fact that the cotton is not a counterpoint hold. sent4: if there is something such that it is anamnestic the cotton is not insatiate. sent5: if the cotton is anamnestic the Airedale is insatiate. sent6: the fact that the cotton is not anthropometric does not hold. sent7: the Airedale does buy. sent8: there exists something such that it is a quaintness. sent9: the cotton is insatiate if the Airedale is anamnestic. sent10: the read is anamnestic. sent11: the cotton is not insatiate. sent12: if there is something such that the fact that it is a quaintness is true then the Airedale is not insatiate. sent13: the white is anamnestic. sent14: if there is something such that it is insatiate the fact that the Airedale is not anamnestic is right. sent15: the cotton is a bacchante. sent16: if that the cotton is insatiate is true then the Airedale is anamnestic.
void -> assump1: Let's assume that the cotton is anamnestic.; sent5 & assump1 -> int1: the Airedale is not satiate.; sent8 & sent12 -> int2: the Airedale is not insatiate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the cotton is anamnestic. ; $context$ = sent1: the balletomane is anamnestic. sent2: the pestle is anamnestic. sent3: the fact that the cotton is not a counterpoint hold. sent4: if there is something such that it is anamnestic the cotton is not insatiate. sent5: if the cotton is anamnestic the Airedale is insatiate. sent6: the fact that the cotton is not anthropometric does not hold. sent7: the Airedale does buy. sent8: there exists something such that it is a quaintness. sent9: the cotton is insatiate if the Airedale is anamnestic. sent10: the read is anamnestic. sent11: the cotton is not insatiate. sent12: if there is something such that the fact that it is a quaintness is true then the Airedale is not insatiate. sent13: the white is anamnestic. sent14: if there is something such that it is insatiate the fact that the Airedale is not anamnestic is right. sent15: the cotton is a bacchante. sent16: if that the cotton is insatiate is true then the Airedale is anamnestic. ; $proof$ = 
void -> assump1: Let's assume that the cotton is anamnestic.; sent5 & assump1 -> int1: the Airedale is not satiate.; sent8 & sent12 -> int2: the Airedale is not insatiate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__