the fact that the gonif does not refer arteriography and is a salute is not true.
sent1: the forepaw is not a petrochemical. sent2: if the Lasso does not transfer dextrin that the gonif does refer arteriography and it is a salute is not correct. sent3: the jazzman does not sheathe Basotho if it is not tasteful. sent4: the Lasso dirties. sent5: the gymnosperm is a Laconian. sent6: the forepaw is dirty but it is not a Shiite. sent7: something is a obeah and is not a Laconian if it is a petrochemical. sent8: the fact that the gonif refers arteriography and it is a kind of a salute is not correct. sent9: the Lasso is a kind of a conspecific that is not photoconductive. sent10: the forepaw does transfer firestorm but it is not a kind of a Ensete. sent11: if something is dirty but not a Shiite then it is a obeah. sent12: if something is a petrochemical and does not transfer dextrin that it does dirty is true. sent13: if the Lasso is not a petrochemical then it does not transfer dextrin. sent14: the forepaw is not non-dirty. sent15: if the forepaw is a Laconian and is a obeah the Lasso is not a petrochemical. sent16: if the Lasso does not transfer dextrin the fact that the gonif does not refer arteriography but it is a salute is not true. sent17: the Lasso does not refer arteriography. sent18: the forepaw is a salute and it dirties. sent19: if the Lasso is a kind of a obeah and is not a Laconian the gonif does not refer arteriography.
sent11 -> int1: the forepaw is a obeah if it is both dirty and not a Shiite.; int1 & sent6 -> int2: the forepaw is a obeah.;
the gonif does not refer arteriography and is a kind of a salute.
sent7 -> int3: the Lasso is a obeah but it is not a Laconian if it is a petrochemical.;
$hypothesis$ = the fact that the gonif does not refer arteriography and is a salute is not true. ; $context$ = sent1: the forepaw is not a petrochemical. sent2: if the Lasso does not transfer dextrin that the gonif does refer arteriography and it is a salute is not correct. sent3: the jazzman does not sheathe Basotho if it is not tasteful. sent4: the Lasso dirties. sent5: the gymnosperm is a Laconian. sent6: the forepaw is dirty but it is not a Shiite. sent7: something is a obeah and is not a Laconian if it is a petrochemical. sent8: the fact that the gonif refers arteriography and it is a kind of a salute is not correct. sent9: the Lasso is a kind of a conspecific that is not photoconductive. sent10: the forepaw does transfer firestorm but it is not a kind of a Ensete. sent11: if something is dirty but not a Shiite then it is a obeah. sent12: if something is a petrochemical and does not transfer dextrin that it does dirty is true. sent13: if the Lasso is not a petrochemical then it does not transfer dextrin. sent14: the forepaw is not non-dirty. sent15: if the forepaw is a Laconian and is a obeah the Lasso is not a petrochemical. sent16: if the Lasso does not transfer dextrin the fact that the gonif does not refer arteriography but it is a salute is not true. sent17: the Lasso does not refer arteriography. sent18: the forepaw is a salute and it dirties. sent19: if the Lasso is a kind of a obeah and is not a Laconian the gonif does not refer arteriography. ; $proof$ = 
sent11 -> int1: the forepaw is a obeah if it is both dirty and not a Shiite.; int1 & sent6 -> int2: the forepaw is a obeah.; __UNKNOWN__