the Ugandan is anticyclonic and is not autographic.
sent1: the Ugandan is not a sealskin if it does not save and is a Kaluga. sent2: the babassu is not non-autographic. sent3: the Ugandan is anticyclonic and does salve drudgery. sent4: the Ugandan is not variolar but it defrays altimeter. sent5: the Ugandan is not predictable if it salves kitchenette and it is aposiopetic. sent6: the actor is a kind of a ammoniac and is variolar. sent7: that the Ugandan salves drudgery hold. sent8: that the driftwood does not defray altimeter is true. sent9: if the Ugandan is variolar and it does defray altimeter then it is not autographic. sent10: the Ugandan does not defray sprawl. sent11: the Moloch is a ammoniac and does not clock Moloch. sent12: the European defrays Cheever and does not clock Uma. sent13: the Ugandan is not a enormousness if it informs and is an earphone. sent14: the gangplank does not salve drudgery. sent15: the Ugandan is hematopoietic. sent16: if something does not salve drudgery the fact that it is a kind of anticyclonic thing that is not autographic is incorrect. sent17: the Ugandan is a flannelette but not a Dortmund. sent18: the dope does not salve drudgery. sent19: the humerus is not anticyclonic. sent20: the Ugandan is a grubby and salves European. sent21: if the Ugandan is non-variolar thing that does defray altimeter then that it is not autographic hold. sent22: if the Ugandan is both autographic and a trainee it is not a toxemia.
sent21 & sent4 -> int1: that the Ugandan is not autographic is not false.; sent3 -> int2: the Ugandan is anticyclonic.; int1 & int2 -> hypothesis;
the fact that the Ugandan is not non-anticyclonic but non-autographic is not correct.
sent16 -> int3: if the Ugandan does not salve drudgery the fact that it is anticyclonic and not autographic is incorrect.;
$hypothesis$ = the Ugandan is anticyclonic and is not autographic. ; $context$ = sent1: the Ugandan is not a sealskin if it does not save and is a Kaluga. sent2: the babassu is not non-autographic. sent3: the Ugandan is anticyclonic and does salve drudgery. sent4: the Ugandan is not variolar but it defrays altimeter. sent5: the Ugandan is not predictable if it salves kitchenette and it is aposiopetic. sent6: the actor is a kind of a ammoniac and is variolar. sent7: that the Ugandan salves drudgery hold. sent8: that the driftwood does not defray altimeter is true. sent9: if the Ugandan is variolar and it does defray altimeter then it is not autographic. sent10: the Ugandan does not defray sprawl. sent11: the Moloch is a ammoniac and does not clock Moloch. sent12: the European defrays Cheever and does not clock Uma. sent13: the Ugandan is not a enormousness if it informs and is an earphone. sent14: the gangplank does not salve drudgery. sent15: the Ugandan is hematopoietic. sent16: if something does not salve drudgery the fact that it is a kind of anticyclonic thing that is not autographic is incorrect. sent17: the Ugandan is a flannelette but not a Dortmund. sent18: the dope does not salve drudgery. sent19: the humerus is not anticyclonic. sent20: the Ugandan is a grubby and salves European. sent21: if the Ugandan is non-variolar thing that does defray altimeter then that it is not autographic hold. sent22: if the Ugandan is both autographic and a trainee it is not a toxemia. ; $proof$ = 
sent21 & sent4 -> int1: that the Ugandan is not autographic is not false.; sent3 -> int2: the Ugandan is anticyclonic.; int1 & int2 -> hypothesis; __PROVED__