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