The bald eagle chases the dog. The bald eagle eats the bear. The bear eats the mouse. The bear is nice. The bear is red. The dog likes the mouse. The mouse likes the bald eagle. If someone likes the mouse then the mouse is kind. If someone is young then they chase the bald eagle. If someone likes the bear and they are young then the bear eats the mouse. If someone chases the mouse and they are nice then they like the bald eagle. If someone likes the bald eagle then the bald eagle is nice. If someone is kind then they like the mouse.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If someone likes the mouse then the mouse is kind.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If someone is young then they chase the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the bear and they are young then the bear eats the mouse.
((("someone" "likes" "bear" "+") ("someone" "is" "young" "+")) -> ("bear" "eats" "mouse" "+"))
If someone chases the mouse and they are nice then they like the bald eagle.
((("someone" "chases" "mouse" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle is nice.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone is kind then they like the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "mouse" "+"))
The dog likes the mouse.
True
1
proof
[(triple6)]
("dog" "likes" "mouse" "+")
triple6
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The bald eagle is nice.
True
2
proof
[(((triple7) -> rule5))]
("bald eagle" "is" "nice" "+")
((triple7) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple6) -> rule1))]
("mouse" "is" "kind" "-")
((triple6) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The dog likes the bald eagle.
Unknown
rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "likes" "bald eagle" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear eats the mouse.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The dog likes the mouse.[(triple6)] The mouse likes the bald eagle.[(triple7)] @1: The bald eagle is nice.[(((triple7) -> rule5))] The mouse is kind.[(((triple6) -> rule1))] @2: The mouse likes the mouse.[(((((triple6) -> rule1)) -> rule6))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple7) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple6) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2