The bald eagle needs the mouse. The dog likes the bald eagle. The mouse chases the bald eagle. If someone is kind and they like the bald eagle then the bald eagle is rough. If someone chases the bald eagle and they are nice then they need the mouse. If the mouse needs the bald eagle and the mouse is young then the mouse is blue. If someone needs the mouse then they need the dog. If someone needs the bald eagle then they are young. If someone likes the mouse and they are rough then the mouse needs the dog. If the mouse is kind and the mouse likes the bald eagle then the bald eagle is kind. If someone needs the dog then the dog needs the bald eagle.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
If someone is kind and they like the bald eagle then the bald eagle is rough.
((("someone" "is" "kind" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone chases the bald eagle and they are nice then they need the mouse.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "mouse" "+"))
If the mouse needs the bald eagle and the mouse is young then the mouse is blue.
((("mouse" "needs" "bald eagle" "+") ("mouse" "is" "young" "+")) -> ("mouse" "is" "blue" "+"))
If someone needs the mouse then they need the dog.
((("someone" "needs" "mouse" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the bald eagle then they are young.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone likes the mouse and they are rough then the mouse needs the dog.
((("someone" "likes" "mouse" "+") ("someone" "is" "rough" "+")) -> ("mouse" "needs" "dog" "+"))
If the mouse is kind and the mouse likes the bald eagle then the bald eagle is kind.
((("mouse" "is" "kind" "+") ("mouse" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone needs the dog then the dog needs the bald eagle.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple2)]
("dog" "likes" "bald eagle" "+")
triple2
The dog does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "likes" "bald eagle" "-")
triple2
The bald eagle needs the dog.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "needs" "dog" "+")
((triple1) -> (rule4 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not need the dog.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "needs" "dog" "-")
((triple1) -> (rule4 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog needs the bald eagle.
True
3
proof
[(((((triple1) -> rule4)) -> rule8))]
("dog" "needs" "bald eagle" "+")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog does not need the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule8))]
("dog" "needs" "bald eagle" "-")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog is young.
True
4
proof
[(((((((triple1) -> rule4)) -> rule8)) -> rule5))]
("dog" "is" "young" "+")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3
The dog is not young.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule8)) -> rule5))]
("dog" "is" "young" "-")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "blue" "-")
The dog needs the dog.
Unknown
rconc
[@2: The dog needs the dog.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "young" "-")
The mouse needs the dog.
Unknown
rconc
[@2: The mouse needs the dog.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("mouse" "needs" "dog" "+")
The bald eagle does not chase the dog.
Unknown
inv-random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the bald eagle.
Unknown
random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle needs the mouse.[(triple1)] The dog likes the bald eagle.[(triple2)] The mouse chases the bald eagle.[(triple3)] @1: The bald eagle needs the dog.[(((triple1) -> rule4))] @2: The dog needs the bald eagle.[(((((triple1) -> rule4)) -> rule8))] @3: The dog is young.[(((((((triple1) -> rule4)) -> rule8)) -> rule5))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple1) -> (rule4 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3