the fact that the tattoo is not a Monodontidae but it tightens Ufa does not hold.
sent1: the Lauder does not maintain warrior. sent2: the warrior does not detribalize cholesterol. sent3: if the tattoo is a Cancer then the vulgarizer is a Cancer. sent4: if the Lauder does not maintain warrior then it is not a RCMP. sent5: if that the vulgarizer is a cellphone but it does not deliquesce is not right then the tattoo is not a cellphone. sent6: something is a RCMP if it is not a Cancer and is not a kind of a cellphone. sent7: if a Cancer is not a cellphone it is a RCMP. sent8: if the vulgarizer is not a Cancer the fact that the tattoo is a RCMP and it is a kind of a cellphone is false. sent9: that something is a kind of a cellphone and does not deliquesce does not hold if it does not purl. sent10: the tattoo is not a Monodontidae. sent11: the vulgarizer is a Cancer. sent12: something is not a Monodontidae and does tighten Ufa if it is a RCMP. sent13: if the vulgarizer is a kind of a cellphone then the Lauder is a cellphone but it is not a kind of a RCMP. sent14: there is something such that the fact that it is both not a slammer and a leer is not right. sent15: that the vulgarizer maintains bluehead hold. sent16: that the tattoo is a Monodontidae that does tighten Ufa is not correct. sent17: the Lauder is not a RCMP. sent18: if something is a Monodontidae and does tighten Ufa it is a Cancer. sent19: the vulgarizer is not a RCMP if the Lauder does maintain bluehead and it is a kind of a RCMP. sent20: the vulgarizer is not a kind of a RCMP if the Lauder maintains bluehead and is not a RCMP. sent21: if something that is not a Monodontidae does tighten Ufa it is a Cancer. sent22: the tattoo maintains warrior. sent23: the tattoo is a Cancer if it is a Monodontidae and it does tighten Ufa. sent24: if the Lauder does not maintain warrior it maintains bluehead and is not a kind of a RCMP. sent25: The warrior does not maintain Lauder.
sent21 -> int1: the tattoo is a kind of a Cancer if it is not a Monodontidae and tightens Ufa.; void -> assump1: Let's assume that the tattoo is not a Monodontidae and tightens Ufa.; int1 & assump1 -> int2: the tattoo is a Cancer.; sent7 -> int3: if the vulgarizer is a Cancer but it is not a cellphone it is a kind of a RCMP.; sent24 & sent1 -> int4: the Lauder maintains bluehead but it is not a RCMP.; sent20 & int4 -> int5: the vulgarizer is not a RCMP.;
the tattoo is not a Monodontidae and tightens Ufa.
$hypothesis$ = the fact that the tattoo is not a Monodontidae but it tightens Ufa does not hold. ; $context$ = sent1: the Lauder does not maintain warrior. sent2: the warrior does not detribalize cholesterol. sent3: if the tattoo is a Cancer then the vulgarizer is a Cancer. sent4: if the Lauder does not maintain warrior then it is not a RCMP. sent5: if that the vulgarizer is a cellphone but it does not deliquesce is not right then the tattoo is not a cellphone. sent6: something is a RCMP if it is not a Cancer and is not a kind of a cellphone. sent7: if a Cancer is not a cellphone it is a RCMP. sent8: if the vulgarizer is not a Cancer the fact that the tattoo is a RCMP and it is a kind of a cellphone is false. sent9: that something is a kind of a cellphone and does not deliquesce does not hold if it does not purl. sent10: the tattoo is not a Monodontidae. sent11: the vulgarizer is a Cancer. sent12: something is not a Monodontidae and does tighten Ufa if it is a RCMP. sent13: if the vulgarizer is a kind of a cellphone then the Lauder is a cellphone but it is not a kind of a RCMP. sent14: there is something such that the fact that it is both not a slammer and a leer is not right. sent15: that the vulgarizer maintains bluehead hold. sent16: that the tattoo is a Monodontidae that does tighten Ufa is not correct. sent17: the Lauder is not a RCMP. sent18: if something is a Monodontidae and does tighten Ufa it is a Cancer. sent19: the vulgarizer is not a RCMP if the Lauder does maintain bluehead and it is a kind of a RCMP. sent20: the vulgarizer is not a kind of a RCMP if the Lauder maintains bluehead and is not a RCMP. sent21: if something that is not a Monodontidae does tighten Ufa it is a Cancer. sent22: the tattoo maintains warrior. sent23: the tattoo is a Cancer if it is a Monodontidae and it does tighten Ufa. sent24: if the Lauder does not maintain warrior it maintains bluehead and is not a kind of a RCMP. sent25: The warrior does not maintain Lauder. ; $proof$ = 
sent21 -> int1: the tattoo is a kind of a Cancer if it is not a Monodontidae and tightens Ufa.; void -> assump1: Let's assume that the tattoo is not a Monodontidae and tightens Ufa.; int1 & assump1 -> int2: the tattoo is a Cancer.; sent7 -> int3: if the vulgarizer is a Cancer but it is not a cellphone it is a kind of a RCMP.; sent24 & sent1 -> int4: the Lauder maintains bluehead but it is not a RCMP.; sent20 & int4 -> int5: the vulgarizer is not a RCMP.; __UNKNOWN__