The bear chases the lion. The cat likes the bear. The dog likes the bear. The lion does not see the bear. If something chases the lion then it is rough. If something is blue and round then it sees the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The lion does not see the bear.
("lion" "sees" "bear" "-")
If something chases the lion then it is rough.
((("something" "chases" "lion" "+")) -> ("something" "is" "rough" "+"))
If something is blue and round then it sees the lion.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "sees" "lion" "+"))
The cat likes the bear.
True
1
proof
[(triple2)]
("cat" "likes" "bear" "+")
triple2
The cat does not like the bear.
False
1
inv-proof
[(triple2)]
("cat" "likes" "bear" "-")
triple2
The bear is rough.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The cat sees the lion.
Unknown
rconc
[@1: The cat sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "lion" "+")
The dog does not see the cat.
Unknown
inv-random
[@0: The dog sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cat" "-")
The cat chases the dog.
Unknown
random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "+")
@0: The bear chases the lion.[(triple1)] The cat likes the bear.[(triple2)] The dog likes the bear.[(triple3)] The lion does not see the bear.[(triple4)] @1: The bear is rough.[(((triple1) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The cat likes the bear.
("cat" "likes" "bear" "+")
triple2
The dog likes the bear.
("dog" "likes" "bear" "+")
triple3
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1