The cat likes the lion. The cat needs the lion. The cat visits the lion. The lion is red. The lion is rough. The lion likes the cat. The lion visits the cat. If the cat is red and the cat is green then the cat needs the lion. If someone likes the cat then they are big.
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If the cat is red and the cat is green then the cat needs the lion.
((("cat" "is" "red" "+") ("cat" "is" "green" "+")) -> ("cat" "needs" "lion" "+"))
If someone likes the cat then they are big.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "big" "+"))
The cat visits the lion.
True
1
proof
[(triple3)]
("cat" "visits" "lion" "+")
triple3
The cat does not like the lion.
False
1
inv-proof
[(triple1)]
("cat" "likes" "lion" "-")
triple1
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat likes the lion.[(triple1)] The cat needs the lion.[(triple2)] The cat visits the lion.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion likes the cat.[(triple6)] The lion visits the cat.[(triple7)] @1: The lion is big.[(((triple6) -> rule2))]
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The cat visits the lion.
("cat" "visits" "lion" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion likes the cat.
("lion" "likes" "cat" "+")
triple6
The lion visits the cat.
("lion" "visits" "cat" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
((triple6) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1