The bear likes the rabbit. The cow is young. The rabbit needs the cow. All big people are green.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
The bear likes the rabbit.
True
1
proof
[(triple1)]
("bear" "likes" "rabbit" "+")
triple1
The rabbit does not need the cow.
False
1
inv-proof
[(triple3)]
("rabbit" "needs" "cow" "-")
triple3
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "-")
The bear needs the cow.
Unknown
random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "+")
@0: The bear likes the rabbit.[(triple1)] The cow is young.[(triple2)] The rabbit needs the cow.[(triple3)]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple3