The cow does not visit the rabbit. The dog is rough. The rabbit likes the dog. If something visits the dog then the dog likes the rabbit. If something visits the rabbit and the rabbit does not visit the dog then the rabbit likes the cow. If something needs the dog and it visits the cow then the dog likes the cow. If the rabbit is young and the rabbit likes the dog then the dog does not need the rabbit. If something needs the rabbit and the rabbit visits the cow then the cow likes the dog. If the dog visits the cow then the cow does not visit the rabbit. If the rabbit needs the dog then the rabbit does not visit the cow. If something likes the dog and the dog visits the cow then it is not young.
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The dog is rough.
("dog" "is" "rough" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something visits the dog then the dog likes the rabbit.
((("something" "visits" "dog" "+")) -> ("dog" "likes" "rabbit" "+"))
If something visits the rabbit and the rabbit does not visit the dog then the rabbit likes the cow.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "dog" "~")) -> ("rabbit" "likes" "cow" "+"))
If something needs the dog and it visits the cow then the dog likes the cow.
((("something" "needs" "dog" "+") ("something" "visits" "cow" "+")) -> ("dog" "likes" "cow" "+"))
If the rabbit is young and the rabbit likes the dog then the dog does not need the rabbit.
((("rabbit" "is" "young" "+") ("rabbit" "likes" "dog" "+")) -> ("dog" "needs" "rabbit" "-"))
If something needs the rabbit and the rabbit visits the cow then the cow likes the dog.
((("something" "needs" "rabbit" "+") ("rabbit" "visits" "cow" "+")) -> ("cow" "likes" "dog" "+"))
If the dog visits the cow then the cow does not visit the rabbit.
((("dog" "visits" "cow" "+")) -> ("cow" "visits" "rabbit" "-"))
If the rabbit needs the dog then the rabbit does not visit the cow.
((("rabbit" "needs" "dog" "+")) -> ("rabbit" "visits" "cow" "-"))
If something likes the dog and the dog visits the cow then it is not young.
((("something" "likes" "dog" "+") ("dog" "visits" "cow" "+")) -> ("something" "is" "young" "-"))
The dog is rough.
True
1
proof
[(triple2)]
("dog" "is" "rough" "+")
triple2
The cow visits the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "visits" "rabbit" "+")
triple1
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "dog" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The cow does not visit the rabbit.[(triple1)] The dog is rough.[(triple2)] The rabbit likes the dog.[(triple3)]
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3