premise: A dog rolls on a mattress placed on a porch and scratches his back. hypothesis: There is a dog on the porch.
entailment: the dog on the porch must be rolling on a mattress and scratching his back on the the porch.