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