The cow eats the squirrel. The squirrel visits the cow. If something is blue then it visits the cow. If something chases the squirrel and the squirrel eats the cow then it eats the cow.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something is blue then it visits the cow.
((("something" "is" "blue" "+")) -> ("something" "visits" "cow" "+"))
If something chases the squirrel and the squirrel eats the cow then it eats the cow.
((("something" "chases" "squirrel" "+") ("squirrel" "eats" "cow" "+")) -> ("something" "eats" "cow" "+"))
The cow eats the squirrel.
True
1
proof
[(triple1)]
("cow" "eats" "squirrel" "+")
triple1
The squirrel does not visit the cow.
False
1
inv-proof
[(triple2)]
("squirrel" "visits" "cow" "-")
triple2
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow eats the squirrel.[(triple1)] The squirrel visits the cow.[(triple2)]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple2