The cow is blue. The cow likes the squirrel. The cow does not need the rabbit. The rabbit chases the squirrel. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel is red. If something needs the cow and the cow is not kind then the cow does not chase the rabbit. If something likes the squirrel and the squirrel likes the rabbit then the rabbit chases the cow.
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something needs the cow and the cow is not kind then the cow does not chase the rabbit.
((("something" "needs" "cow" "+") ("cow" "is" "kind" "~")) -> ("cow" "chases" "rabbit" "-"))
If something likes the squirrel and the squirrel likes the rabbit then the rabbit chases the cow.
((("something" "likes" "squirrel" "+") ("squirrel" "likes" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
The cow does not need the rabbit.
True
1
proof
[(triple3)]
("cow" "needs" "rabbit" "-")
triple3
The rabbit does not chase the squirrel.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "squirrel" "-")
triple4
The rabbit does not chase the cow.
Unknown
inv-rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "cow" "-")
The squirrel likes the rabbit.
Unknown
random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "+")
@0: The cow does not need the rabbit.[(triple3)] The cow is blue.[(triple1)] The cow likes the squirrel.[(triple2)] The rabbit chases the squirrel.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is red.[(triple7)]
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7