The bald eagle chases the dog. The bald eagle eats the tiger. The bald eagle is not kind. The bald eagle does not like the tiger. The dog does not eat the bald eagle. The dog is not young. The dog likes the bald eagle. The mouse chases the tiger. The mouse does not eat the tiger. The mouse is green. The tiger eats the bald eagle. The tiger is nice. If someone likes the mouse then the mouse is blue. If someone chases the bald eagle and the bald eagle is young then the bald eagle eats the dog. If someone is nice then they like the mouse.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is not young.
("dog" "is" "young" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
The mouse is green.
("mouse" "is" "green" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone likes the mouse then the mouse is blue.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone chases the bald eagle and the bald eagle is young then the bald eagle eats the dog.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone is nice then they like the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "mouse" "+"))
The tiger is nice.
True
1
proof
[(triple12)]
("tiger" "is" "nice" "+")
triple12
The dog does not like the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "likes" "bald eagle" "-")
triple7
The tiger likes the mouse.
True
2
proof
[(((triple12) -> rule3))]
("tiger" "likes" "mouse" "+")
((triple12) -> (rule3 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The tiger does not like the mouse.
False
2
inv-proof
[(((triple12) -> rule3))]
("tiger" "likes" "mouse" "-")
((triple12) -> (rule3 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse is blue.
True
3
proof
[(((((triple12) -> rule3)) -> rule1))]
("mouse" "is" "blue" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The mouse is not blue.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule1))]
("mouse" "is" "blue" "-")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The dog likes the mouse.
Unknown
rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "mouse" "+")
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not like the tiger.[(triple4)] The bald eagle eats the tiger.[(triple2)] The bald eagle is not kind.[(triple3)] The dog does not eat the bald eagle.[(triple5)] The dog is not young.[(triple6)] The dog likes the bald eagle.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse does not eat the tiger.[(triple9)] The mouse is green.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger is nice.[(triple12)] @1: The tiger likes the mouse.[(((triple12) -> rule3))] @2: The mouse is blue.[(((((triple12) -> rule3)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple4
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple5
The dog is not young.
("dog" "is" "young" "-")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple7
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple8
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
((triple12) -> (rule3 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2