the crab is not a papier-mache.
sent1: if the fact that the thioguanine does not assail Ptilocrinus but it is strategics is false it does assail Ptilocrinus. sent2: the fact that something is not synchronic and not a piolet is incorrect if it is not happy. sent3: if the man-of-the-earth is not hairless that the crab is happy thing that is synchronic is false. sent4: something is not a papier-mache if it does slum and it is pentangular. sent5: if either something is not hairless or it is not a kind of a hoist or both then it is not hairless. sent6: if the fact that the thioguanine is not hairless and/or it is not a hoist is wrong then it is not happy. sent7: if there exists something such that the fact that the fact that it is both not synchronic and not a piolet is not false is incorrect that the man-of-the-earth is a piolet is right. sent8: if the thioguanine assails Ptilocrinus then the man-of-the-earth does assails Ptilocrinus. sent9: the acoustician assails Ptilocrinus and it is pentangular if the man-of-the-earth is not a divarication. sent10: something is a divarication that is a papier-mache if it is not a kind of a piolet. sent11: something that assails Ptilocrinus is not hairless and/or is not a kind of a hoist. sent12: if the thioguanine is contractual that it does not assail Ptilocrinus and is strategics is not correct. sent13: if that something is happy and it is synchronic is wrong it is not a kind of a piolet. sent14: the thioguanine is contractual if the fact that the hutch is both not contractual and not a owner-driver is incorrect.
sent4 -> int1: the crab is not a papier-mache if it is a slum and is not non-pentangular.;
the acoustician assails Ptilocrinus and it is pentangular.
sent2 -> int2: the fact that the thioguanine is both not synchronic and not a piolet is not right if it is not happy.;
$hypothesis$ = the crab is not a papier-mache. ; $context$ = sent1: if the fact that the thioguanine does not assail Ptilocrinus but it is strategics is false it does assail Ptilocrinus. sent2: the fact that something is not synchronic and not a piolet is incorrect if it is not happy. sent3: if the man-of-the-earth is not hairless that the crab is happy thing that is synchronic is false. sent4: something is not a papier-mache if it does slum and it is pentangular. sent5: if either something is not hairless or it is not a kind of a hoist or both then it is not hairless. sent6: if the fact that the thioguanine is not hairless and/or it is not a hoist is wrong then it is not happy. sent7: if there exists something such that the fact that the fact that it is both not synchronic and not a piolet is not false is incorrect that the man-of-the-earth is a piolet is right. sent8: if the thioguanine assails Ptilocrinus then the man-of-the-earth does assails Ptilocrinus. sent9: the acoustician assails Ptilocrinus and it is pentangular if the man-of-the-earth is not a divarication. sent10: something is a divarication that is a papier-mache if it is not a kind of a piolet. sent11: something that assails Ptilocrinus is not hairless and/or is not a kind of a hoist. sent12: if the thioguanine is contractual that it does not assail Ptilocrinus and is strategics is not correct. sent13: if that something is happy and it is synchronic is wrong it is not a kind of a piolet. sent14: the thioguanine is contractual if the fact that the hutch is both not contractual and not a owner-driver is incorrect. ; $proof$ = 
sent4 -> int1: the crab is not a papier-mache if it is a slum and is not non-pentangular.; __UNKNOWN__