the reciter does not dunk eaglet.
sent1: the farm does shush emitter. sent2: if the summation is a Ugandan that the emitter does not emigrate and/or it is not a kind of a Ugandan does not hold. sent3: if the emitter is Ugandan the summation is a Ugandan. sent4: if that the summation is not a kind of a Kentuckian or it is not Ugandan or both does not hold then the fact that it does not emigrate hold. sent5: if the summation does not emigrate then the farm is a Bleriot. sent6: the reciter dunks eaglet if the forger is nacreous. sent7: the forger is not non-nacreous if a Bleriot does shush emitter. sent8: the emitter is a decameter and it is a Ugandan. sent9: if the emitter is Ugandan that the summation is not a Kentuckian or not a Ugandan or both is incorrect. sent10: that that the fact that the farm does not emigrate but it is a decameter is not correct is not wrong if the forger is not a kind of a Kentuckian is not false. sent11: the fact that if the summation is not a decameter that the emitter dunks eaglet and it is a Ugandan is not true is not wrong. sent12: The emitter does shush farm. sent13: if that the summation either is not a Kentuckian or is a kind of a Ugandan or both is wrong then it does not emigrate. sent14: if something shushes emitter and is a Kentuckian then the reciter does dunk eaglet.
sent8 -> int1: the emitter is a Ugandan.; int1 & sent9 -> int2: the fact that the summation is not a kind of a Kentuckian or it is not a kind of a Ugandan or both is not correct.; int2 & sent4 -> int3: the summation does not emigrate.; int3 & sent5 -> int4: the farm is a Bleriot.; int4 & sent1 -> int5: that the farm is a Bleriot and it does shush emitter is right.; int5 -> int6: there exists something such that it is a Bleriot and it shushes emitter.; int6 & sent7 -> int7: the forger is nacreous.; int7 & sent6 -> hypothesis;
the reciter does not dunk eaglet.
$hypothesis$ = the reciter does not dunk eaglet. ; $context$ = sent1: the farm does shush emitter. sent2: if the summation is a Ugandan that the emitter does not emigrate and/or it is not a kind of a Ugandan does not hold. sent3: if the emitter is Ugandan the summation is a Ugandan. sent4: if that the summation is not a kind of a Kentuckian or it is not Ugandan or both does not hold then the fact that it does not emigrate hold. sent5: if the summation does not emigrate then the farm is a Bleriot. sent6: the reciter dunks eaglet if the forger is nacreous. sent7: the forger is not non-nacreous if a Bleriot does shush emitter. sent8: the emitter is a decameter and it is a Ugandan. sent9: if the emitter is Ugandan that the summation is not a Kentuckian or not a Ugandan or both is incorrect. sent10: that that the fact that the farm does not emigrate but it is a decameter is not correct is not wrong if the forger is not a kind of a Kentuckian is not false. sent11: the fact that if the summation is not a decameter that the emitter dunks eaglet and it is a Ugandan is not true is not wrong. sent12: The emitter does shush farm. sent13: if that the summation either is not a Kentuckian or is a kind of a Ugandan or both is wrong then it does not emigrate. sent14: if something shushes emitter and is a Kentuckian then the reciter does dunk eaglet. ; $proof$ = 
sent8 -> int1: the emitter is a Ugandan.; int1 & sent9 -> int2: the fact that the summation is not a kind of a Kentuckian or it is not a kind of a Ugandan or both is not correct.; int2 & sent4 -> int3: the summation does not emigrate.; int3 & sent5 -> int4: the farm is a Bleriot.; int4 & sent1 -> int5: that the farm is a Bleriot and it does shush emitter is right.; int5 -> int6: there exists something such that it is a Bleriot and it shushes emitter.; int6 & sent7 -> int7: the forger is nacreous.; int7 & sent6 -> hypothesis; __DISPROVED__