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