The cat likes the lion. The dog likes the lion. The lion needs the cat. The squirrel likes the dog. If someone sees the lion then the lion is cold. If someone needs the cat then they are green.
The cat likes the lion.
("cat" "likes" "lion" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone sees the lion then the lion is cold.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "cold" "+"))
If someone needs the cat then they are green.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "green" "+"))
The dog likes the lion.
True
1
proof
[(triple2)]
("dog" "likes" "lion" "+")
triple2
The squirrel does not like the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "likes" "dog" "-")
triple4
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The cat likes the lion.[(triple1)] The dog likes the lion.[(triple2)] The lion needs the cat.[(triple3)] The squirrel likes the dog.[(triple4)] @1: The lion is green.[(((triple3) -> rule2))]
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The lion needs the cat.
("lion" "needs" "cat" "+")
triple3
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
((triple3) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1