The bear likes the cow. The cow is kind. If something is blue and it eats the cow then the cow likes the bear.
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
If something is blue and it eats the cow then the cow likes the bear.
((("something" "is" "blue" "+") ("something" "eats" "cow" "+")) -> ("cow" "likes" "bear" "+"))
The bear likes the cow.
True
1
proof
[(triple1)]
("bear" "likes" "cow" "+")
triple1
The cow is not kind.
False
1
inv-proof
[(triple2)]
("cow" "is" "kind" "-")
triple2
The cow does not like the bear.
Unknown
inv-rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "bear" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear likes the cow.[(triple1)] The cow is kind.[(triple2)]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2