the phosphatase drags typology.
sent1: the postulator is not a kind of a clairvoyance and it is not a junkyard. sent2: something that does not cox Ajaia puts thirteen and is a divorcee. sent3: if the postulator is not a clairvoyance and is not a junkyard then it drags typology. sent4: if the postulator is a kind of a Bentham it puts thirteen. sent5: the phosphatase is not a kind of a Bentham if the postulator is not a kind of a clairvoyance and it does not tweet perigon. sent6: the phosphatase does not drag typology if the postulator is a divorcee that does put thirteen. sent7: if the phosphatase is not a Bentham then it does put thirteen. sent8: the postulator is a divorcee and coxes Ajaia. sent9: the postulator is a kind of a Bentham. sent10: if something puts thirteen then it does cox Ajaia.
sent8 -> int1: the postulator is a kind of a divorcee.; sent4 & sent9 -> int2: the postulator puts thirteen.; int1 & int2 -> int3: the postulator is a divorcee and it puts thirteen.; int3 & sent6 -> hypothesis;
the cardoon puts thirteen.
sent2 -> int4: if the cardoon does not cox Ajaia it puts thirteen and it is a divorcee.; sent3 & sent1 -> int5: the fact that the postulator drags typology is correct.;
$hypothesis$ = the phosphatase drags typology. ; $context$ = sent1: the postulator is not a kind of a clairvoyance and it is not a junkyard. sent2: something that does not cox Ajaia puts thirteen and is a divorcee. sent3: if the postulator is not a clairvoyance and is not a junkyard then it drags typology. sent4: if the postulator is a kind of a Bentham it puts thirteen. sent5: the phosphatase is not a kind of a Bentham if the postulator is not a kind of a clairvoyance and it does not tweet perigon. sent6: the phosphatase does not drag typology if the postulator is a divorcee that does put thirteen. sent7: if the phosphatase is not a Bentham then it does put thirteen. sent8: the postulator is a divorcee and coxes Ajaia. sent9: the postulator is a kind of a Bentham. sent10: if something puts thirteen then it does cox Ajaia. ; $proof$ = 
sent8 -> int1: the postulator is a kind of a divorcee.; sent4 & sent9 -> int2: the postulator puts thirteen.; int1 & int2 -> int3: the postulator is a divorcee and it puts thirteen.; int3 & sent6 -> hypothesis; __DISPROVED__