the Opposition is a Tudor.
sent1: if the bearberry is a kind of a Tudor then the Opposition is a grandma or it is not an anhydride or both. sent2: the Opposition does fast and it is starry if the eavesdropper is not electronics. sent3: either the bearberry is an anhydride or it is a grandma or both. sent4: if either the bearberry is an anhydride or it is not a grandma or both then the Opposition is not Tudor. sent5: the fact that the fact that something does not miscarry omelet and does disobey is not correct if it does not smash hypha is true. sent6: something that is electronics is not starry and is a kind of a Tudor. sent7: if the eavesdropper is both not starry and a Tudor then the arm fasts. sent8: that the eavesdropper fasts is correct. sent9: something does smash recollection or does not disobey or both if it does fast. sent10: the fact that the eavesdropper is not an anhydride is correct. sent11: something is not electronics if that it does not miscarry omelet and does disobey is incorrect. sent12: if the bearberry is not a grandma then the Opposition is not Tudor. sent13: the Opposition is not a fast. sent14: if the eavesdropper fasts the bearberry is an anhydride or it is not a grandma or both. sent15: if the eavesdropper is a kind of a fast the bearberry is an anhydride or a grandma or both.
sent14 & sent8 -> int1: that the bearberry is an anhydride and/or it is not a grandma is true.; int1 & sent4 -> hypothesis;
the arm smashes recollection and/or does not disobey.
sent9 -> int2: either the arm smashes recollection or it does not disobey or both if it fasts.; sent6 -> int3: the eavesdropper is not starry but it is a Tudor if it is electronics.;
$hypothesis$ = the Opposition is a Tudor. ; $context$ = sent1: if the bearberry is a kind of a Tudor then the Opposition is a grandma or it is not an anhydride or both. sent2: the Opposition does fast and it is starry if the eavesdropper is not electronics. sent3: either the bearberry is an anhydride or it is a grandma or both. sent4: if either the bearberry is an anhydride or it is not a grandma or both then the Opposition is not Tudor. sent5: the fact that the fact that something does not miscarry omelet and does disobey is not correct if it does not smash hypha is true. sent6: something that is electronics is not starry and is a kind of a Tudor. sent7: if the eavesdropper is both not starry and a Tudor then the arm fasts. sent8: that the eavesdropper fasts is correct. sent9: something does smash recollection or does not disobey or both if it does fast. sent10: the fact that the eavesdropper is not an anhydride is correct. sent11: something is not electronics if that it does not miscarry omelet and does disobey is incorrect. sent12: if the bearberry is not a grandma then the Opposition is not Tudor. sent13: the Opposition is not a fast. sent14: if the eavesdropper fasts the bearberry is an anhydride or it is not a grandma or both. sent15: if the eavesdropper is a kind of a fast the bearberry is an anhydride or a grandma or both. ; $proof$ = 
sent14 & sent8 -> int1: that the bearberry is an anhydride and/or it is not a grandma is true.; int1 & sent4 -> hypothesis; __DISPROVED__