The dog does not visit the lion. The lion does not visit the dog. If someone visits the lion then they are kind. If someone visits the dog and they are not cold then they need the dog. If someone likes the dog and the dog visits the lion then the dog is rough.
The dog does not visit the lion.
("dog" "visits" "lion" "-")
The lion does not visit the dog.
("lion" "visits" "dog" "-")
If someone visits the lion then they are kind.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the dog and they are not cold then they need the dog.
((("someone" "visits" "dog" "+") ("someone" "is" "cold" "~")) -> ("someone" "needs" "dog" "+"))
If someone likes the dog and the dog visits the lion then the dog is rough.
((("someone" "likes" "dog" "+") ("dog" "visits" "lion" "+")) -> ("dog" "is" "rough" "+"))
The dog does not visit the lion.
True
1
proof
[(triple1)]
("dog" "visits" "lion" "-")
triple1
The dog visits the lion.
False
1
inv-proof
[(triple1)]
("dog" "visits" "lion" "+")
triple1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The dog does not visit the lion.[(triple1)] The lion does not visit the dog.[(triple2)]
The dog does not visit the lion.
("dog" "visits" "lion" "-")
triple1
The lion does not visit the dog.
("lion" "visits" "dog" "-")
triple2