The bald eagle is not rough. The cat is cold. The cat does not visit the bald eagle. The cat visits the dog. The dog is cold. The dog likes the bald eagle. The dog does not visit the bald eagle. The dog visits the cat. The mouse does not eat the dog. The mouse is rough. If the cat is young then the cat does not visit the dog. If something likes the mouse and the mouse eats the dog then the dog likes the bald eagle. If something likes the mouse then the mouse is young. If the cat visits the bald eagle and the bald eagle does not like the cat then the bald eagle does not visit the cat. If the cat eats the dog then the cat visits the bald eagle. If something is green and it does not visit the dog then the dog is green.
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
If the cat is young then the cat does not visit the dog.
((("cat" "is" "young" "+")) -> ("cat" "visits" "dog" "-"))
If something likes the mouse and the mouse eats the dog then the dog likes the bald eagle.
((("something" "likes" "mouse" "+") ("mouse" "eats" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something likes the mouse then the mouse is young.
((("something" "likes" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If the cat visits the bald eagle and the bald eagle does not like the cat then the bald eagle does not visit the cat.
((("cat" "visits" "bald eagle" "+") ("bald eagle" "likes" "cat" "~")) -> ("bald eagle" "visits" "cat" "-"))
If the cat eats the dog then the cat visits the bald eagle.
((("cat" "eats" "dog" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something is green and it does not visit the dog then the dog is green.
((("something" "is" "green" "+") ("something" "visits" "dog" "~")) -> ("dog" "is" "green" "+"))
The mouse does not eat the dog.
True
1
proof
[(triple9)]
("mouse" "eats" "dog" "-")
triple9
The dog does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("dog" "likes" "bald eagle" "-")
triple6
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "green" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle is not rough.[(triple1)] The cat does not visit the bald eagle.[(triple3)] The cat is cold.[(triple2)] The cat visits the dog.[(triple4)] The dog does not visit the bald eagle.[(triple7)] The dog is cold.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog visits the cat.[(triple8)] The mouse does not eat the dog.[(triple9)] The mouse is rough.[(triple10)]
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple1
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple4
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple6
The dog visits the cat.
("dog" "visits" "cat" "+")
triple8
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10