the groundsman is not choreographic.
sent1: the groundsman sleepwalks. sent2: the groundsman is a opacification if the zebra samples Riesman. sent3: something does not sample Riesman if it is a opacification. sent4: the zebra is avionics. sent5: if the fact that that the zebra either is not a awn or is not a opacification or both does not hold is not wrong then the nightshade does sample Riesman. sent6: the groundsman is not choreographic if it does sleepwalk and it is a opacification. sent7: if something is a kind of a awn the fact that the zebra does sample Riesman is right. sent8: the guardroom sleepwalks. sent9: that the pigskin does not sample Riesman hold. sent10: if the zebra is not macroeconomic it is a opacification that does sleepwalk.
the fact that the groundsman is choreographic hold.
sent3 -> int1: if the zebra is a opacification then it does not sample Riesman.;
$hypothesis$ = the groundsman is not choreographic. ; $context$ = sent1: the groundsman sleepwalks. sent2: the groundsman is a opacification if the zebra samples Riesman. sent3: something does not sample Riesman if it is a opacification. sent4: the zebra is avionics. sent5: if the fact that that the zebra either is not a awn or is not a opacification or both does not hold is not wrong then the nightshade does sample Riesman. sent6: the groundsman is not choreographic if it does sleepwalk and it is a opacification. sent7: if something is a kind of a awn the fact that the zebra does sample Riesman is right. sent8: the guardroom sleepwalks. sent9: that the pigskin does not sample Riesman hold. sent10: if the zebra is not macroeconomic it is a opacification that does sleepwalk. ; $proof$ = 
__UNKNOWN__