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