The bald eagle visits the dog. The dog eats the mouse. The mouse does not visit the dog. If something eats the dog then the dog eats the bald eagle. If something eats the mouse then it visits the bald eagle. If the mouse does not eat the bald eagle then the mouse visits the dog. If something is rough and it needs the mouse then it needs the bald eagle. If the bald eagle eats the mouse then the mouse does not need the dog. If something visits the bald eagle and it is not rough then it eats the mouse. If something visits the bald eagle then it eats the dog. If something eats the bald eagle and it does not need the dog then the dog is red.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
If something eats the dog then the dog eats the bald eagle.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If something eats the mouse then it visits the bald eagle.
((("something" "eats" "mouse" "+")) -> ("something" "visits" "bald eagle" "+"))
If the mouse does not eat the bald eagle then the mouse visits the dog.
((("mouse" "eats" "bald eagle" "~")) -> ("mouse" "visits" "dog" "+"))
If something is rough and it needs the mouse then it needs the bald eagle.
((("something" "is" "rough" "+") ("something" "needs" "mouse" "+")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle eats the mouse then the mouse does not need the dog.
((("bald eagle" "eats" "mouse" "+")) -> ("mouse" "needs" "dog" "-"))
If something visits the bald eagle and it is not rough then it eats the mouse.
((("something" "visits" "bald eagle" "+") ("something" "is" "rough" "~")) -> ("something" "eats" "mouse" "+"))
If something visits the bald eagle then it eats the dog.
((("something" "visits" "bald eagle" "+")) -> ("something" "eats" "dog" "+"))
If something eats the bald eagle and it does not need the dog then the dog is red.
((("something" "eats" "bald eagle" "+") ("something" "needs" "dog" "~")) -> ("dog" "is" "red" "+"))
The dog eats the mouse.
True
1
proof
[(triple2)]
("dog" "eats" "mouse" "+")
triple2
The bald eagle does not visit the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "dog" "-")
triple1
The dog visits the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % 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))]
("dog" "visits" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog eats the dog.
True
3
proof
[(((((triple2) -> rule2)) -> rule7))]
("dog" "eats" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog does not eat the dog.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule7))]
("dog" "eats" "dog" "-")
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog eats the bald eagle.
True
4
proof
[(((((((triple2) -> rule2)) -> rule7)) -> rule1))]
("dog" "eats" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
The dog does not eat the bald eagle.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule7)) -> rule1))]
("dog" "eats" "bald eagle" "-")
((((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The dog needs the bald eagle.
Unknown
rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "bald eagle" "+")
The mouse does not eat the dog.
Unknown
inv-rconc
[@3: The mouse eats the dog.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule6 <- FAIL)]]
("mouse" "eats" "dog" "-")
The mouse visits the bald eagle.
Unknown
rconc
[@2: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("mouse" "visits" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle visits the dog.[(triple1)] The dog eats the mouse.[(triple2)] The mouse does not visit the dog.[(triple3)] @1: The dog visits the bald eagle.[(((triple2) -> rule2))] @2: The dog eats the dog.[(((((triple2) -> rule2)) -> rule7))] @3: The dog eats the bald eagle.[(((((((triple2) -> rule2)) -> rule7)) -> rule1))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3