the pellitory-of-the-wall is albitic.
sent1: the calcination is both a Leiden and non-upmarket if the greensand is a Leiden. sent2: the greensand is a Milk. sent3: that the greensand is a Leiden hold if the calcination is a Leiden. sent4: the Nobelist directs Catholicism. sent5: if the kopje is a Leiden the calcination does direct Dytiscidae. sent6: the kopje does direct Dytiscidae if the zapper is a mincer. sent7: if the kopje is upmarket then the greensand is upmarket thing that does not direct Dytiscidae. sent8: the greensand is a mincer. sent9: the kopje does not direct Catholicism if the calcination is non-upmarket or direct Catholicism or both. sent10: that that the greensand directs Catholicism and is not upmarket hold if the calcination directs Catholicism is not false. sent11: if something is a Leiden it does direct Catholicism. sent12: that the greensand directs Dytiscidae hold. sent13: the calcination does direct Dytiscidae. sent14: the zapper is a mincer. sent15: the calcination is a Leiden if the kopje does direct Dytiscidae. sent16: the exhibitor does direct Dytiscidae. sent17: the fact that if something is a mincer then it is not albitic hold. sent18: if that the kopje does not direct Catholicism is correct then the zapper directs Dytiscidae and it is a kind of a Leiden. sent19: if the greensand does direct Catholicism and is not upmarket the pellitory-of-the-wall is albitic.
sent6 & sent14 -> int1: the kopje does direct Dytiscidae.; int1 & sent15 -> int2: the calcination is a Leiden.; sent11 -> int3: the calcination directs Catholicism if it is a Leiden.; int2 & int3 -> int4: that the calcination directs Catholicism is not incorrect.; int4 & sent10 -> int5: the greensand does direct Catholicism but it is not upmarket.; int5 & sent19 -> hypothesis;
the pellitory-of-the-wall is not albitic.
sent17 -> int6: the pellitory-of-the-wall is not albitic if it is a mincer.;
$hypothesis$ = the pellitory-of-the-wall is albitic. ; $context$ = sent1: the calcination is both a Leiden and non-upmarket if the greensand is a Leiden. sent2: the greensand is a Milk. sent3: that the greensand is a Leiden hold if the calcination is a Leiden. sent4: the Nobelist directs Catholicism. sent5: if the kopje is a Leiden the calcination does direct Dytiscidae. sent6: the kopje does direct Dytiscidae if the zapper is a mincer. sent7: if the kopje is upmarket then the greensand is upmarket thing that does not direct Dytiscidae. sent8: the greensand is a mincer. sent9: the kopje does not direct Catholicism if the calcination is non-upmarket or direct Catholicism or both. sent10: that that the greensand directs Catholicism and is not upmarket hold if the calcination directs Catholicism is not false. sent11: if something is a Leiden it does direct Catholicism. sent12: that the greensand directs Dytiscidae hold. sent13: the calcination does direct Dytiscidae. sent14: the zapper is a mincer. sent15: the calcination is a Leiden if the kopje does direct Dytiscidae. sent16: the exhibitor does direct Dytiscidae. sent17: the fact that if something is a mincer then it is not albitic hold. sent18: if that the kopje does not direct Catholicism is correct then the zapper directs Dytiscidae and it is a kind of a Leiden. sent19: if the greensand does direct Catholicism and is not upmarket the pellitory-of-the-wall is albitic. ; $proof$ = 
sent6 & sent14 -> int1: the kopje does direct Dytiscidae.; int1 & sent15 -> int2: the calcination is a Leiden.; sent11 -> int3: the calcination directs Catholicism if it is a Leiden.; int2 & int3 -> int4: that the calcination directs Catholicism is not incorrect.; int4 & sent10 -> int5: the greensand does direct Catholicism but it is not upmarket.; int5 & sent19 -> hypothesis; __PROVED__