The bald eagle visits the cat. The cat visits the dog. The dog is round. If someone is blue then they do not visit the cat. If the dog visits the bald eagle and the bald eagle visits the cat then the dog does not like the cat. If the dog likes the cat then the dog is red. If the bald eagle is red and the bald eagle is round then the bald eagle is cold. If the bald eagle does not chase the cat then the bald eagle visits the dog. If the bald eagle likes the dog then the bald eagle is kind.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is round.
("dog" "is" "round" "+")
If someone is blue then they do not visit the cat.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cat" "-"))
If the dog visits the bald eagle and the bald eagle visits the cat then the dog does not like the cat.
((("dog" "visits" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("dog" "likes" "cat" "-"))
If the dog likes the cat then the dog is red.
((("dog" "likes" "cat" "+")) -> ("dog" "is" "red" "+"))
If the bald eagle is red and the bald eagle is round then the bald eagle is cold.
((("bald eagle" "is" "red" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "cold" "+"))
If the bald eagle does not chase the cat then the bald eagle visits the dog.
((("bald eagle" "chases" "cat" "~")) -> ("bald eagle" "visits" "dog" "+"))
If the bald eagle likes the dog then the bald eagle is kind.
((("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "is" "kind" "+"))
The cat visits the dog.
True
1
proof
[(triple2)]
("cat" "visits" "dog" "+")
triple2
The dog is not round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "-")
triple3
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "red" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bald eagle visits the cat.[(triple1)] The cat visits the dog.[(triple2)] The dog is round.[(triple3)]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3