the recliner is not gyroscopic.
sent1: the recliner is a snip. sent2: the bratwurst does not count cabalist. sent3: the bratwurst is not gyroscopic. sent4: the helvella is not a snip. sent5: the recliner snips if the bratwurst is gyroscopic. sent6: the bratwurst is not a snip.
$hypothesis$ = the recliner is not gyroscopic. ; $context$ = sent1: the recliner is a snip. sent2: the bratwurst does not count cabalist. sent3: the bratwurst is not gyroscopic. sent4: the helvella is not a snip. sent5: the recliner snips if the bratwurst is gyroscopic. sent6: the bratwurst is not a snip. ; $proof$ = 
__UNKNOWN__