The bear is rough. The bear is young. The bear sees the dog. The bear visits the cow. The bear visits the dog. The cow visits the dog. The dog likes the cow. If the bear sees the cow and the bear is not cold then the cow likes the bear.
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If the bear sees the cow and the bear is not cold then the cow likes the bear.
((("bear" "sees" "cow" "+") ("bear" "is" "cold" "~")) -> ("cow" "likes" "bear" "+"))
The dog likes the cow.
True
1
proof
[(triple7)]
("dog" "likes" "cow" "+")
triple7
The dog does not like the cow.
False
1
inv-proof
[(triple7)]
("dog" "likes" "cow" "-")
triple7
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 bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear is rough.[(triple1)] The bear is young.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the cow.[(triple4)] The bear visits the dog.[(triple5)] The cow visits the dog.[(triple6)] The dog likes the cow.[(triple7)]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The bear visits the cow.
("bear" "visits" "cow" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The cow visits the dog.
("cow" "visits" "dog" "+")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7