The cat likes the squirrel. The dog chases the rabbit. The rabbit is nice. The squirrel chases the rabbit. If something is green and it sees the dog then the dog is young. If something chases the squirrel and it chases the dog then it is young.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If something is green and it sees the dog then the dog is young.
((("something" "is" "green" "+") ("something" "sees" "dog" "+")) -> ("dog" "is" "young" "+"))
If something chases the squirrel and it chases the dog then it is young.
((("something" "chases" "squirrel" "+") ("something" "chases" "dog" "+")) -> ("something" "is" "young" "+"))
The cat likes the squirrel.
True
1
proof
[(triple1)]
("cat" "likes" "squirrel" "+")
triple1
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "rabbit" "-")
triple4
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "young" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat likes the squirrel.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit is nice.[(triple3)] The squirrel chases the rabbit.[(triple4)]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4