The bear is blue. The cow eats the bear. The dog sees the bear. The rabbit is kind. If the rabbit is red and the rabbit chases the cow then the rabbit eats the cow.
The bear is blue.
("bear" "is" "blue" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If the rabbit is red and the rabbit chases the cow then the rabbit eats the cow.
((("rabbit" "is" "red" "+") ("rabbit" "chases" "cow" "+")) -> ("rabbit" "eats" "cow" "+"))
The dog sees the bear.
True
1
proof
[(triple3)]
("dog" "sees" "bear" "+")
triple3
The dog does not see the bear.
False
1
inv-proof
[(triple3)]
("dog" "sees" "bear" "-")
triple3
The rabbit does not eat the cow.
Unknown
inv-rconc
[@1: The rabbit eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "cow" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
@0: The bear is blue.[(triple1)] The cow eats the bear.[(triple2)] The dog sees the bear.[(triple3)] The rabbit is kind.[(triple4)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The cow eats the bear.
("cow" "eats" "bear" "+")
triple2
The dog sees the bear.
("dog" "sees" "bear" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4