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