The bear eats the cow. The cow eats the squirrel. The dog eats the cow. The squirrel eats the bear. If something eats the cow then it is young. If something visits the squirrel and the squirrel visits the cow then the squirrel chases the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
If something eats the cow then it is young.
((("something" "eats" "cow" "+")) -> ("something" "is" "young" "+"))
If something visits the squirrel and the squirrel visits the cow then the squirrel chases the bear.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("squirrel" "chases" "bear" "+"))
The cow eats the squirrel.
True
1
proof
[(triple2)]
("cow" "eats" "squirrel" "+")
triple2
The squirrel does not eat the bear.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "bear" "-")
triple4
The bear is young.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "young" "+")
((triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "is" "young" "-")
((triple3) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The bear eats the cow.[(triple1)] The cow eats the squirrel.[(triple2)] The dog eats the cow.[(triple3)] The squirrel eats the bear.[(triple4)] @1: The bear is young.[(((triple1) -> rule1))] The dog is young.[(((triple3) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
((triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple3) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1