The cow needs the mouse. The dog is blue. The dog is nice. The dog is red. The dog likes the cow. The dog likes the mouse. The dog visits the mouse. The mouse is blue. The mouse is nice. The mouse likes the cow. The mouse likes the dog. The mouse visits the cow. If something needs the cow then the cow likes the mouse.
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If something needs the cow then the cow likes the mouse.
((("something" "needs" "cow" "+")) -> ("cow" "likes" "mouse" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The dog is not blue.
False
1
inv-proof
[(triple2)]
("dog" "is" "blue" "-")
triple2
The cow does not like the mouse.
Unknown
inv-rconc
[@1: The cow likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "mouse" "-")
The cow likes the dog.
Unknown
random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "+")
@0: The cow needs the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog likes the cow.[(triple5)] The dog likes the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is nice.[(triple9)] The mouse likes the cow.[(triple10)] The mouse likes the dog.[(triple11)] The mouse visits the cow.[(triple12)]
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the cow.
("dog" "likes" "cow" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple11
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12