The cow needs the squirrel. The rabbit eats the cow. The squirrel is red. If the rabbit eats the cow then the cow likes the squirrel. If the rabbit needs the cow then the cow is blue. If something needs the cow and the cow is cold then the cow is blue.
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If the rabbit eats the cow then the cow likes the squirrel.
((("rabbit" "eats" "cow" "+")) -> ("cow" "likes" "squirrel" "+"))
If the rabbit needs the cow then the cow is blue.
((("rabbit" "needs" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something needs the cow and the cow is cold then the cow is blue.
((("something" "needs" "cow" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "blue" "+"))
The squirrel is red.
True
1
proof
[(triple3)]
("squirrel" "is" "red" "+")
triple3
The squirrel is not red.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "red" "-")
triple3
The cow likes the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("cow" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "likes" "squirrel" "-")
((triple2) -> (rule1 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "blue" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not like the cow.
Unknown
inv-random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cow needs the squirrel.[(triple1)] The rabbit eats the cow.[(triple2)] The squirrel is red.[(triple3)] @1: The cow likes the squirrel.[(((triple2) -> rule1))]
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1