the flanker does sample Aesop.
sent1: either the mammoth is a concerto or it is unemotional or both. sent2: that the amniote is unstable and it is a kind of a concerto is not correct if it does not sample Aesop. sent3: something is not unstable if that it does not sample Aesop and is not a latten is incorrect. sent4: the mammoth is a concerto. sent5: if the amniote does not sample squeegee then the mammoth is not a concerto. sent6: if the fact that the amniote is unemotional and does sample squeegee is not right then the mammoth is not a concerto. sent7: the flanker does not sample Aesop if the amniote either is not stable or is a latten or both. sent8: the fact that the flanker is not a kind of a latten is not wrong if the fact that either the amniote is a Dakar or it is not a kind of a latten or both is wrong. sent9: the mammoth does not sample squeegee if the amniote either is a concerto or is unstable or both. sent10: that the amniote is unemotional thing that samples squeegee is wrong if that it is not unstable is correct. sent11: if the amniote is a kind of a latten the flanker does not sample Aesop. sent12: the mammoth does not sample Aesop.
void -> assump1: Let's assume that the amniote is not unstable.; sent10 & assump1 -> int1: that the amniote is unemotional thing that samples squeegee does not hold.; int1 & sent6 -> int2: the mammoth is not a concerto.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the amniote is unstable.; int4 -> int5: the amniote is either unstable or a latten or both.; int5 & sent7 -> hypothesis;
the flanker does sample Aesop.
$hypothesis$ = the flanker does sample Aesop. ; $context$ = sent1: either the mammoth is a concerto or it is unemotional or both. sent2: that the amniote is unstable and it is a kind of a concerto is not correct if it does not sample Aesop. sent3: something is not unstable if that it does not sample Aesop and is not a latten is incorrect. sent4: the mammoth is a concerto. sent5: if the amniote does not sample squeegee then the mammoth is not a concerto. sent6: if the fact that the amniote is unemotional and does sample squeegee is not right then the mammoth is not a concerto. sent7: the flanker does not sample Aesop if the amniote either is not stable or is a latten or both. sent8: the fact that the flanker is not a kind of a latten is not wrong if the fact that either the amniote is a Dakar or it is not a kind of a latten or both is wrong. sent9: the mammoth does not sample squeegee if the amniote either is a concerto or is unstable or both. sent10: that the amniote is unemotional thing that samples squeegee is wrong if that it is not unstable is correct. sent11: if the amniote is a kind of a latten the flanker does not sample Aesop. sent12: the mammoth does not sample Aesop. ; $proof$ = 
void -> assump1: Let's assume that the amniote is not unstable.; sent10 & assump1 -> int1: that the amniote is unemotional thing that samples squeegee does not hold.; int1 & sent6 -> int2: the mammoth is not a concerto.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the amniote is unstable.; int4 -> int5: the amniote is either unstable or a latten or both.; int5 & sent7 -> hypothesis; __DISPROVED__