The bald eagle visits the cat. The cat visits the dog. The dog visits the bald eagle. If something visits the cat and the cat is rough then the cat visits the bald eagle. If something chases the cat and it sees the cat then it sees the bald eagle. If something is blue then it sees the dog. If something sees the cat and the cat sees the dog then the cat sees the bald eagle. If the cat chases the dog then the cat is cold. If something chases the bald eagle then it sees the dog.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If something visits the cat and the cat is rough then the cat visits the bald eagle.
((("something" "visits" "cat" "+") ("cat" "is" "rough" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something chases the cat and it sees the cat then it sees the bald eagle.
((("something" "chases" "cat" "+") ("something" "sees" "cat" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is blue then it sees the dog.
((("something" "is" "blue" "+")) -> ("something" "sees" "dog" "+"))
If something sees the cat and the cat sees the dog then the cat sees the bald eagle.
((("something" "sees" "cat" "+") ("cat" "sees" "dog" "+")) -> ("cat" "sees" "bald eagle" "+"))
If the cat chases the dog then the cat is cold.
((("cat" "chases" "dog" "+")) -> ("cat" "is" "cold" "+"))
If something chases the bald eagle then it sees the dog.
((("something" "chases" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
The cat visits the dog.
True
1
proof
[(triple2)]
("cat" "visits" "dog" "+")
triple2
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("dog" "visits" "bald eagle" "-")
triple3
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bald eagle visits the cat.[(triple1)] The cat visits the dog.[(triple2)] The dog visits the bald eagle.[(triple3)]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple3