Example ¬dog(x)  animal(x) ¬animal(y)  die(y) {x → y} {x dog(fido)
{"Image DocumentName": "Example \u00acdog(x) \uf0da animal(x) \u00acanimal(y) \uf0da die(y) {x \u2192 y} {x dog(fido)", "Image ImageDescription": "\u00acdog(y) \uf0da die(y) {y \u2192 fido} \u00acdie(fido) die(fido) \uf020\uf05e", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}