The bald eagle does not visit the dog. The dog eats the bald eagle. If someone is big and they eat the dog then they visit the dog. If someone eats the bald eagle then they visit the bald eagle. If someone eats the bald eagle then they visit the bald eagle. If someone chases the dog and the dog is young then the dog does not chase the bald eagle. If someone chases the dog and they are not green then the dog does not eat the bald eagle. If someone eats the bald eagle and they visit the bald eagle then they chase the dog. If someone chases the dog and they do not visit the bald eagle then they chase the bald eagle. If someone visits the bald eagle then they chase the bald eagle.
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
If someone is big and they eat the dog then they visit the dog.
((("someone" "is" "big" "+") ("someone" "eats" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone eats the bald eagle then they visit the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone eats the bald eagle then they visit the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone chases the dog and the dog is young then the dog does not chase the bald eagle.
((("someone" "chases" "dog" "+") ("dog" "is" "young" "+")) -> ("dog" "chases" "bald eagle" "-"))
If someone chases the dog and they are not green then the dog does not eat the bald eagle.
((("someone" "chases" "dog" "+") ("someone" "is" "green" "~")) -> ("dog" "eats" "bald eagle" "-"))
If someone eats the bald eagle and they visit the bald eagle then they chase the dog.
((("someone" "eats" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the dog and they do not visit the bald eagle then they chase the bald eagle.
((("someone" "chases" "dog" "+") ("someone" "visits" "bald eagle" "~")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the bald eagle then they chase the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple2)]
("dog" "eats" "bald eagle" "+")
triple2
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "eats" "bald eagle" "-")
triple2
The dog visits the bald eagle.
True
2
proof
[(((triple2) -> rule2) OR ((triple2) -> rule3))]
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple2) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple2) -> rule3))]
("dog" "visits" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple2) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog chases the dog.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule3)) -> rule6))]
("dog" "chases" "dog" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((triple2 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog does not chase the dog.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule3)) -> rule6))]
("dog" "chases" "dog" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((triple2 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle does not visit the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] @1: The dog visits the bald eagle.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: The dog chases the bald eagle.[(((((triple2) -> rule2)) -> rule8) OR ((((triple2) -> rule3)) -> rule8))] The dog chases the dog.[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule3)) -> rule6))]
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple2) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((triple2 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2