the Uruguayan does carbonate action.
sent1: the Uruguayan is a modal if the action is not a modal. sent2: if the fact that something is not a teff and not a mobile is not right it is a teff. sent3: if the macrophage does not carbonate action the pyrophyllite does not carbonate action. sent4: the Uruguayan is not a teff if the fact that the macrophage either does not carbonate macrophage or is not a designing or both is not true. sent5: something is not a modal if it drinks mill. sent6: if that the Uruguayan does not carbonate action and/or is determinable is incorrect then the macrophage is not a teff. sent7: something is not a kind of a mobile if it is modal. sent8: if the autoinjector is not a kind of a modal that the action is not a teff and it is not a kind of a mobile is not correct. sent9: that the macrophage does not carbonate macrophage or it is not a designing or both does not hold. sent10: the Uruguayan is determinable. sent11: the fact that the fact that the Uruguayan is not determinable but it is a teff is not correct hold if it is not mobile.
sent4 & sent9 -> int1: that the Uruguayan is not a teff is not wrong.;
the Uruguayan does not carbonate action.
sent2 -> int2: the action is a kind of a teff if the fact that it is not a teff and is not a mobile does not hold.;
$hypothesis$ = the Uruguayan does carbonate action. ; $context$ = sent1: the Uruguayan is a modal if the action is not a modal. sent2: if the fact that something is not a teff and not a mobile is not right it is a teff. sent3: if the macrophage does not carbonate action the pyrophyllite does not carbonate action. sent4: the Uruguayan is not a teff if the fact that the macrophage either does not carbonate macrophage or is not a designing or both is not true. sent5: something is not a modal if it drinks mill. sent6: if that the Uruguayan does not carbonate action and/or is determinable is incorrect then the macrophage is not a teff. sent7: something is not a kind of a mobile if it is modal. sent8: if the autoinjector is not a kind of a modal that the action is not a teff and it is not a kind of a mobile is not correct. sent9: that the macrophage does not carbonate macrophage or it is not a designing or both does not hold. sent10: the Uruguayan is determinable. sent11: the fact that the fact that the Uruguayan is not determinable but it is a teff is not correct hold if it is not mobile. ; $proof$ = 
sent4 & sent9 -> int1: that the Uruguayan is not a teff is not wrong.; __UNKNOWN__