Omkar2118/datasets huggingface dataset:
PuzzTe
Full name: Puzzle Textual Entailment

Puzzles dataset: comparison, knight&knaves, and zebra puzzles.

Introducing paper: A Puzzle-Based Dataset for Natural Language Inference