The bald eagle chases the dog. The cat chases the dog. The cat is red. The dog chases the bald eagle. The dog is kind. The dog is red. The dog needs the cat. If the dog visits the cat and the cat chases the bald eagle then the bald eagle chases the dog. If someone chases the dog then they visit the dog. If someone visits the dog and the dog chases the cat then they need the bald eagle. If someone needs the bald eagle then the bald eagle is blue. If someone is blue then they need the dog. If someone needs the dog and they need the bald eagle then they chase the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If the dog visits the cat and the cat chases the bald eagle then the bald eagle chases the dog.
((("dog" "visits" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If someone chases the dog then they visit the dog.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog and the dog chases the cat then they need the bald eagle.
((("someone" "visits" "dog" "+") ("dog" "chases" "cat" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bald eagle then the bald eagle is blue.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone is blue then they need the dog.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the dog and they need the bald eagle then they chase the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
The dog is kind.
True
1
proof
[(triple5)]
("dog" "is" "kind" "+")
triple5
The dog does not need the cat.
False
1
inv-proof
[(triple7)]
("dog" "needs" "cat" "-")
triple7
The cat visits the dog.
True
2
proof
[(((triple2) -> rule2))]
("cat" "visits" "dog" "+")
((triple2) -> (rule2 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The bald eagle does not visit the dog.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "visits" "dog" "-")
((triple1) -> (rule2 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@2: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "+")
The dog does not visit the cat.
Unknown
inv-random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle chases the dog.[(triple1)] The cat chases the dog.[(triple2)] The cat is red.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog needs the cat.[(triple7)] @1: The bald eagle visits the dog.[(((triple1) -> rule2))] The cat visits the dog.[(((triple2) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog needs the cat.
("dog" "needs" "cat" "+")
triple7
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
((triple2) -> (rule2 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1