the fact that the pharmacologist is a kind of lactic thing that is not a kind of an appendage is false.
sent1: that the pharmacologist is both lactic and not an appendage is incorrect if something is not unitary. sent2: the subtilin is a tour if the poster is a tour. sent3: That the poster does not shaft poster is right. sent4: there is something such that the fact that it is unitary is correct. sent5: if there is something such that it is not unitary the fact that the pharmacologist is lactic and it is an appendage does not hold. sent6: if that something does shaft poster and is not a kind of a hamster hold then the bacteriologist is not a tour. sent7: the subtilin shafts poster. sent8: the poster evicts diplodocus. sent9: the subtilin is a tour. sent10: something is lactic and is not an appendage if it does tour. sent11: there is something such that it tours. sent12: the subtilin tours and is not a hamster if the poster is a tours. sent13: that the poster does not shaft poster is right. sent14: there is something such that it is not a hamster. sent15: that the pharmacologist is lactic thing that is an appendage is wrong. sent16: something is not a hamster if that it is a kind of defensive thing that is unitary is incorrect. sent17: if the poster does not tour then it does evict diplodocus. sent18: there exists something such that that it is a kind of a tour that is a kind of a hamster hold. sent19: if the poster does evict diplodocus and is not a campaign then it does shaft poster. sent20: if there is something such that it is a tour and it is not a kind of a hamster the Bahraini is not unitary.
the pharmacologist is lactic but not an appendage.
sent10 -> int1: if the pharmacologist is a tour then it is lactic and it is not an appendage.; sent16 -> int2: if the fact that the pharmacologist is a kind of a defensive and it is unitary is incorrect then it is not a hamster.;
$hypothesis$ = the fact that the pharmacologist is a kind of lactic thing that is not a kind of an appendage is false. ; $context$ = sent1: that the pharmacologist is both lactic and not an appendage is incorrect if something is not unitary. sent2: the subtilin is a tour if the poster is a tour. sent3: That the poster does not shaft poster is right. sent4: there is something such that the fact that it is unitary is correct. sent5: if there is something such that it is not unitary the fact that the pharmacologist is lactic and it is an appendage does not hold. sent6: if that something does shaft poster and is not a kind of a hamster hold then the bacteriologist is not a tour. sent7: the subtilin shafts poster. sent8: the poster evicts diplodocus. sent9: the subtilin is a tour. sent10: something is lactic and is not an appendage if it does tour. sent11: there is something such that it tours. sent12: the subtilin tours and is not a hamster if the poster is a tours. sent13: that the poster does not shaft poster is right. sent14: there is something such that it is not a hamster. sent15: that the pharmacologist is lactic thing that is an appendage is wrong. sent16: something is not a hamster if that it is a kind of defensive thing that is unitary is incorrect. sent17: if the poster does not tour then it does evict diplodocus. sent18: there exists something such that that it is a kind of a tour that is a kind of a hamster hold. sent19: if the poster does evict diplodocus and is not a campaign then it does shaft poster. sent20: if there is something such that it is a tour and it is not a kind of a hamster the Bahraini is not unitary. ; $proof$ = 
__UNKNOWN__