the hackberry does not hypothecate ampicillin.
sent1: the afferent is Andean if the eunuch is Andean. sent2: that if the afferent doctors ileum the unfortunate is alular hold. sent3: the devisor is a kind of a whoop. sent4: if the afferent is Andean then it doctors ileum. sent5: something hypothecates ampicillin if that it is an anarchist and is not a kind of a balking is incorrect. sent6: something is a balking. sent7: the unfortunate is not a kind of a Taoist if the devisor does not foreshow separability and it does not doctor muezzin. sent8: if the fact that the devisor is a whoop hold it does not foreshow separability and it does not doctor muezzin. sent9: that the muezzin is an anarchist and is a addle-head is incorrect if there exists something such that it is a balking. sent10: the Cretan does not hypothecate ampicillin. sent11: there is something such that it is a kind of an anarchist and it is a addle-head. sent12: the hackberry does not hypothecate ampicillin if that there exists something such that the fact that it is a kind of an anarchist and is a addle-head does not hold hold.
sent6 & sent9 -> int1: the fact that the muezzin is an anarchist and a addle-head is not true.; int1 -> int2: there is something such that the fact that it is an anarchist and is a kind of a addle-head does not hold.; int2 & sent12 -> hypothesis;
the hackberry does hypothecate ampicillin.
sent5 -> int3: the hackberry hypothecates ampicillin if the fact that it is an anarchist and is not a balking is not right.; sent8 & sent3 -> int4: the devisor does not foreshow separability and it does not doctor muezzin.; sent7 & int4 -> int5: the unfortunate is not a kind of a Taoist.;
$hypothesis$ = the hackberry does not hypothecate ampicillin. ; $context$ = sent1: the afferent is Andean if the eunuch is Andean. sent2: that if the afferent doctors ileum the unfortunate is alular hold. sent3: the devisor is a kind of a whoop. sent4: if the afferent is Andean then it doctors ileum. sent5: something hypothecates ampicillin if that it is an anarchist and is not a kind of a balking is incorrect. sent6: something is a balking. sent7: the unfortunate is not a kind of a Taoist if the devisor does not foreshow separability and it does not doctor muezzin. sent8: if the fact that the devisor is a whoop hold it does not foreshow separability and it does not doctor muezzin. sent9: that the muezzin is an anarchist and is a addle-head is incorrect if there exists something such that it is a balking. sent10: the Cretan does not hypothecate ampicillin. sent11: there is something such that it is a kind of an anarchist and it is a addle-head. sent12: the hackberry does not hypothecate ampicillin if that there exists something such that the fact that it is a kind of an anarchist and is a addle-head does not hold hold. ; $proof$ = 
sent6 & sent9 -> int1: the fact that the muezzin is an anarchist and a addle-head is not true.; int1 -> int2: there is something such that the fact that it is an anarchist and is a kind of a addle-head does not hold.; int2 & sent12 -> hypothesis; __PROVED__