The cat is rough. The lion does not visit the cat. The mouse likes the cat. If the lion is green and the lion does not visit the mouse then the lion is cold. If something visits the lion then it likes the mouse. If the cat does not visit the lion then the cat likes the mouse. If something eats the mouse then the mouse eats the cat. If the cat likes the lion and the lion likes the cat then the cat does not visit the mouse. If something is kind and not cold then it eats the lion.
The cat is rough.
("cat" "is" "rough" "+")
The lion does not visit the cat.
("lion" "visits" "cat" "-")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If the lion is green and the lion does not visit the mouse then the lion is cold.
((("lion" "is" "green" "+") ("lion" "visits" "mouse" "~")) -> ("lion" "is" "cold" "+"))
If something visits the lion then it likes the mouse.
((("something" "visits" "lion" "+")) -> ("something" "likes" "mouse" "+"))
If the cat does not visit the lion then the cat likes the mouse.
((("cat" "visits" "lion" "~")) -> ("cat" "likes" "mouse" "+"))
If something eats the mouse then the mouse eats the cat.
((("something" "eats" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
If the cat likes the lion and the lion likes the cat then the cat does not visit the mouse.
((("cat" "likes" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "visits" "mouse" "-"))
If something is kind and not cold then it eats the lion.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "eats" "lion" "+"))
The cat is rough.
True
1
proof
[(triple1)]
("cat" "is" "rough" "+")
triple1
The mouse does not like the cat.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "cat" "-")
triple3
The mouse does not eat the cat.
Unknown
inv-rconc
[@1: The mouse eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "eats" "cat" "-")
The lion visits the mouse.
Unknown
random
[@0: The lion visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "mouse" "+")
@0: The cat is rough.[(triple1)] The lion does not visit the cat.[(triple2)] The mouse likes the cat.[(triple3)]
The cat is rough.
("cat" "is" "rough" "+")
triple1
The lion does not visit the cat.
("lion" "visits" "cat" "-")
triple2
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple3