The bear eats the cat. The cat is green. The cat needs the cow. The cat needs the squirrel. The cat sees the bear. The cow sees the squirrel. The squirrel sees the cat. If the bear eats the cat then the bear sees the squirrel. If someone needs the cat then they are rough.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the bear eats the cat then the bear sees the squirrel.
((("bear" "eats" "cat" "+")) -> ("bear" "sees" "squirrel" "+"))
If someone needs the cat then they are rough.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "rough" "+"))
The cat sees the bear.
True
1
proof
[(triple5)]
("cat" "sees" "bear" "+")
triple5
The cat is not green.
False
1
inv-proof
[(triple2)]
("cat" "is" "green" "-")
triple2
The bear sees the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bear" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "sees" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "rough" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "rough" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear eats the cat.[(triple1)] The cat is green.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the squirrel.[(triple4)] The cat sees the bear.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The bear sees the squirrel.[(((triple1) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat needs the cow.
("cat" "needs" "cow" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat sees the bear.
("cat" "sees" "bear" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple7
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1