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