the accretion encrusts Ireland.
sent1: there exists something such that that it encrusts sacrum and is not impermissible is not true. sent2: that if the accretion does encrust Ireland then the fact that the machicolation is a Neumann but it does not harry axon does not hold is not false. sent3: the fact that the topminnow is not a quay is not incorrect if the machicolation harries axon. sent4: there exists something such that the fact that it does not encrust sacrum and it is not permissible does not hold. sent5: the nan is non-cervine and not non-equinoctial if the portrait is not a sportscaster. sent6: if the topminnow is not a quay then that the owl does not encrust sacrum and it is not impermissible is not true. sent7: the nan is not cervine. sent8: the portrait is not a kind of a sportscaster if the fact that it does harry relief and is a sportscaster is wrong. sent9: that the portrait harries relief and it is a kind of a sportscaster is not right. sent10: if there exists something such that that it does not encrust sacrum and it is not impermissible is incorrect then the contestee is not a equinoctial. sent11: if the contestee is not a equinoctial the fact that the nan is not cervine but it is a kind of a equinoctial is not correct. sent12: if there exists something such that it encrusts sacrum then the contestee is not a equinoctial. sent13: the aardwolf is not a Neumann. sent14: if the fact that the machicolation is a Neumann but it does not harry axon is incorrect the topminnow is not a quay.
void -> assump1: Let's assume that the accretion encrusts Ireland.; sent2 & assump1 -> int1: that the machicolation is a Neumann that does not harry axon is incorrect.; int1 & sent14 -> int2: the topminnow is not a quay.; int2 & sent6 -> int3: that the owl does not encrust sacrum and it is permissible is not correct.; int3 -> int4: there exists something such that that it does not encrust sacrum and it is not impermissible is wrong.; int4 & sent10 -> int5: the fact that the contestee is not a kind of a equinoctial is not wrong.; int5 & sent11 -> int6: that the nan is not cervine but it is a kind of a equinoctial is not correct.; sent8 & sent9 -> int7: the portrait is not a sportscaster.; sent5 & int7 -> int8: the fact that the nan is not cervine but it is a kind of a equinoctial is not false.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the accretion encrusts Ireland. ; $context$ = sent1: there exists something such that that it encrusts sacrum and is not impermissible is not true. sent2: that if the accretion does encrust Ireland then the fact that the machicolation is a Neumann but it does not harry axon does not hold is not false. sent3: the fact that the topminnow is not a quay is not incorrect if the machicolation harries axon. sent4: there exists something such that the fact that it does not encrust sacrum and it is not permissible does not hold. sent5: the nan is non-cervine and not non-equinoctial if the portrait is not a sportscaster. sent6: if the topminnow is not a quay then that the owl does not encrust sacrum and it is not impermissible is not true. sent7: the nan is not cervine. sent8: the portrait is not a kind of a sportscaster if the fact that it does harry relief and is a sportscaster is wrong. sent9: that the portrait harries relief and it is a kind of a sportscaster is not right. sent10: if there exists something such that that it does not encrust sacrum and it is not impermissible is incorrect then the contestee is not a equinoctial. sent11: if the contestee is not a equinoctial the fact that the nan is not cervine but it is a kind of a equinoctial is not correct. sent12: if there exists something such that it encrusts sacrum then the contestee is not a equinoctial. sent13: the aardwolf is not a Neumann. sent14: if the fact that the machicolation is a Neumann but it does not harry axon is incorrect the topminnow is not a quay. ; $proof$ = 
void -> assump1: Let's assume that the accretion encrusts Ireland.; sent2 & assump1 -> int1: that the machicolation is a Neumann that does not harry axon is incorrect.; int1 & sent14 -> int2: the topminnow is not a quay.; int2 & sent6 -> int3: that the owl does not encrust sacrum and it is permissible is not correct.; int3 -> int4: there exists something such that that it does not encrust sacrum and it is not impermissible is wrong.; int4 & sent10 -> int5: the fact that the contestee is not a kind of a equinoctial is not wrong.; int5 & sent11 -> int6: that the nan is not cervine but it is a kind of a equinoctial is not correct.; sent8 & sent9 -> int7: the portrait is not a sportscaster.; sent5 & int7 -> int8: the fact that the nan is not cervine but it is a kind of a equinoctial is not false.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__