The bear sees the cat. The cat likes the bear. The mouse likes the cat. If something likes the cat then it is green.
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If something likes the cat then it is green.
((("something" "likes" "cat" "+")) -> ("something" "is" "green" "+"))
The bear sees the cat.
True
1
proof
[(triple1)]
("bear" "sees" "cat" "+")
triple1
The bear does not see the cat.
False
1
inv-proof
[(triple1)]
("bear" "sees" "cat" "-")
triple1
The mouse is green.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "is" "green" "+")
((triple3) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "is" "green" "-")
((triple3) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bear sees the cat.[(triple1)] The cat likes the bear.[(triple2)] The mouse likes the cat.[(triple3)] @1: The mouse is green.[(((triple3) -> rule1))]
The bear sees the cat.
("bear" "sees" "cat" "+")
triple1
The cat likes the bear.
("cat" "likes" "bear" "+")
triple2
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
((triple3) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1