the fact that the closer is a outfall or psychometric or both does not hold.
sent1: the beats companies poser and it signs thermochemistry. sent2: if the beats does plug it is trustful. sent3: something is not trustful and it does not sign thermochemistry if it is not psychometric. sent4: the Cortland is not psychometric if the beats does company poser and it is trustful. sent5: the fact that the beats does not plug is right if the fact that the closer is psychometric and it does sign thermochemistry is true. sent6: the beats signs thermochemistry. sent7: the closer is not psychometric if the Cortland is not psychometric. sent8: the Cortland is denominational. sent9: that something companies poser and is not a outfall is false if that it does not sign thermochemistry hold. sent10: that the closer is a outfall and/or is psychometric is not true if the Cortland is not psychometric. sent11: if the closer is non-trustful thing that does not sign thermochemistry that the beats sign thermochemistry hold. sent12: the closer is not psychometric.
sent1 -> int1: the fact that the beats does not company poser is incorrect.;
the closer is a outfall or it is psychometric or both.
sent9 -> int2: that the beats does company poser but it is not a outfall is incorrect if that it does not sign thermochemistry is not wrong.;
$hypothesis$ = the fact that the closer is a outfall or psychometric or both does not hold. ; $context$ = sent1: the beats companies poser and it signs thermochemistry. sent2: if the beats does plug it is trustful. sent3: something is not trustful and it does not sign thermochemistry if it is not psychometric. sent4: the Cortland is not psychometric if the beats does company poser and it is trustful. sent5: the fact that the beats does not plug is right if the fact that the closer is psychometric and it does sign thermochemistry is true. sent6: the beats signs thermochemistry. sent7: the closer is not psychometric if the Cortland is not psychometric. sent8: the Cortland is denominational. sent9: that something companies poser and is not a outfall is false if that it does not sign thermochemistry hold. sent10: that the closer is a outfall and/or is psychometric is not true if the Cortland is not psychometric. sent11: if the closer is non-trustful thing that does not sign thermochemistry that the beats sign thermochemistry hold. sent12: the closer is not psychometric. ; $proof$ = 
sent1 -> int1: the fact that the beats does not company poser is incorrect.; __UNKNOWN__