The cow is not blue. The dog is blue. The mouse visits the cow. The rabbit does not visit the cow. If someone eats the mouse then they do not visit the rabbit. If someone visits the rabbit then the rabbit eats the cow. If someone likes the dog and they do not like the cow then the cow is round.
The cow is not blue.
("cow" "is" "blue" "-")
The dog is blue.
("dog" "is" "blue" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
If someone eats the mouse then they do not visit the rabbit.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "rabbit" "-"))
If someone visits the rabbit then the rabbit eats the cow.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If someone likes the dog and they do not like the cow then the cow is round.
((("someone" "likes" "dog" "+") ("someone" "likes" "cow" "~")) -> ("cow" "is" "round" "+"))
The mouse visits the cow.
True
1
proof
[(triple3)]
("mouse" "visits" "cow" "+")
triple3
The mouse does not visit the cow.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "cow" "-")
triple3
The rabbit does not eat the cow.
Unknown
inv-rconc
[@1: The rabbit eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "cow" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The cow is not blue.[(triple1)] The dog is blue.[(triple2)] The mouse visits the cow.[(triple3)] The rabbit does not visit the cow.[(triple4)]
The cow is not blue.
("cow" "is" "blue" "-")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple3
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple4