the optimist edges lady.
sent1: the stronghold is not Mormon if it does edge lady and is bibliopolic. sent2: that the robalo does not edge radiotherapy and does bog overcredulity is not right. sent3: if something is a XXY that it bogs overcredulity and does not edge lady does not hold. sent4: if something does not edge radiotherapy and is bibliopolic then it is not a kind of a XXY. sent5: The overcredulity does not bog robalo. sent6: if the stronghold is not a kind of a XXY then that the fact that the optimist is not Mormon and it does not digitize Dakar does not hold is not wrong. sent7: the stronghold does not edge radiotherapy but it is bibliopolic if the robalo does not bog overcredulity. sent8: the optimist does not edge radiotherapy if that it is both not a Mormon and not a XXY is incorrect. sent9: if that the optimist is a kind of non-Mormon thing that does not digitize Dakar does not hold then it does not edge lady. sent10: the robalo does not bog overcredulity.
sent7 & sent10 -> int1: the stronghold does not edge radiotherapy and is bibliopolic.; sent4 -> int2: if the fact that the stronghold does not edge radiotherapy but it is bibliopolic is correct it is not a XXY.; int1 & int2 -> int3: the stronghold is not a XXY.; int3 & sent6 -> int4: the fact that the optimist is a kind of non-Mormon thing that does not digitize Dakar is incorrect.; int4 & sent9 -> hypothesis;
the optimist edges lady.
sent3 -> int5: if the robalo is a kind of a XXY that it bogs overcredulity and does not edge lady does not hold.;
$hypothesis$ = the optimist edges lady. ; $context$ = sent1: the stronghold is not Mormon if it does edge lady and is bibliopolic. sent2: that the robalo does not edge radiotherapy and does bog overcredulity is not right. sent3: if something is a XXY that it bogs overcredulity and does not edge lady does not hold. sent4: if something does not edge radiotherapy and is bibliopolic then it is not a kind of a XXY. sent5: The overcredulity does not bog robalo. sent6: if the stronghold is not a kind of a XXY then that the fact that the optimist is not Mormon and it does not digitize Dakar does not hold is not wrong. sent7: the stronghold does not edge radiotherapy but it is bibliopolic if the robalo does not bog overcredulity. sent8: the optimist does not edge radiotherapy if that it is both not a Mormon and not a XXY is incorrect. sent9: if that the optimist is a kind of non-Mormon thing that does not digitize Dakar does not hold then it does not edge lady. sent10: the robalo does not bog overcredulity. ; $proof$ = 
sent7 & sent10 -> int1: the stronghold does not edge radiotherapy and is bibliopolic.; sent4 -> int2: if the fact that the stronghold does not edge radiotherapy but it is bibliopolic is correct it is not a XXY.; int1 & int2 -> int3: the stronghold is not a XXY.; int3 & sent6 -> int4: the fact that the optimist is a kind of non-Mormon thing that does not digitize Dakar is incorrect.; int4 & sent9 -> hypothesis; __DISPROVED__