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