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