the Chihuahua does not advertise.
sent1: if the megalopolis is not amenorrheic the Chihuahua does not advertise. sent2: the excelsior queues catalepsy and it is a clavier. sent3: that the liquidator dims and it is a kind of a have is not true if it does not blinker Eisenstaedt. sent4: if there exists something such that that it does queue crossheading and does expose is not true the megalopolis is a Eurobabble. sent5: the megalopolis is unmade and it is uneven. sent6: if that the fact that the megalopolis is unmade is not incorrect is false the Chihuahua does advertise and is a Eurobabble. sent7: the turmeric is not uneven if there is something such that the fact that the fact that it dims and it is a have is not wrong is not right. sent8: if something that queues catalepsy is a clavier then that the liquidator does not blinker Eisenstaedt is right. sent9: something is amenorrheic if it is not uneven. sent10: if a Eurobabble is unmade then it is not amenorrheic. sent11: there is something such that the fact that it queues crossheading and it exposes does not hold.
sent11 & sent4 -> int1: the megalopolis is a Eurobabble.; sent5 -> int2: the megalopolis is unmade.; int1 & int2 -> int3: the megalopolis is a Eurobabble and unmade.; sent10 -> int4: if the fact that the megalopolis is both a Eurobabble and unmade hold it is not amenorrheic.; int3 & int4 -> int5: the megalopolis is not amenorrheic.; int5 & sent1 -> hypothesis;
the Chihuahua advertises.
sent9 -> int6: if the turmeric is not uneven then it is amenorrheic.; sent2 -> int7: there exists something such that it queues catalepsy and is a kind of a clavier.; int7 & sent8 -> int8: the liquidator does not blinker Eisenstaedt.; sent3 & int8 -> int9: the fact that the liquidator is dim a have is not correct.; int9 -> int10: there is something such that the fact that it is both dim and a have is incorrect.; int10 & sent7 -> int11: the turmeric is not uneven.; int6 & int11 -> int12: the fact that the turmeric is amenorrheic is not false.; int12 -> int13: there exists something such that that it is amenorrheic is correct.;
$hypothesis$ = the Chihuahua does not advertise. ; $context$ = sent1: if the megalopolis is not amenorrheic the Chihuahua does not advertise. sent2: the excelsior queues catalepsy and it is a clavier. sent3: that the liquidator dims and it is a kind of a have is not true if it does not blinker Eisenstaedt. sent4: if there exists something such that that it does queue crossheading and does expose is not true the megalopolis is a Eurobabble. sent5: the megalopolis is unmade and it is uneven. sent6: if that the fact that the megalopolis is unmade is not incorrect is false the Chihuahua does advertise and is a Eurobabble. sent7: the turmeric is not uneven if there is something such that the fact that the fact that it dims and it is a have is not wrong is not right. sent8: if something that queues catalepsy is a clavier then that the liquidator does not blinker Eisenstaedt is right. sent9: something is amenorrheic if it is not uneven. sent10: if a Eurobabble is unmade then it is not amenorrheic. sent11: there is something such that the fact that it queues crossheading and it exposes does not hold. ; $proof$ = 
sent11 & sent4 -> int1: the megalopolis is a Eurobabble.; sent5 -> int2: the megalopolis is unmade.; int1 & int2 -> int3: the megalopolis is a Eurobabble and unmade.; sent10 -> int4: if the fact that the megalopolis is both a Eurobabble and unmade hold it is not amenorrheic.; int3 & int4 -> int5: the megalopolis is not amenorrheic.; int5 & sent1 -> hypothesis; __PROVED__