The bald eagle chases the cat. The cat eats the tiger. The mouse eats the bald eagle. The tiger chases the mouse. If the mouse likes the tiger and the mouse chases the tiger then the tiger is nice. If someone chases the cat and the cat eats the tiger then the tiger likes the cat. If the mouse is red and the mouse eats the cat then the cat likes the bald eagle. If someone chases the mouse and they chase the bald eagle then the bald eagle eats the cat. If someone chases the tiger and they are round then they are young. If someone eats the tiger then they chase the cat. If someone likes the bald eagle then the bald eagle is young. If someone chases the mouse then the mouse eats the tiger.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If the mouse likes the tiger and the mouse chases the tiger then the tiger is nice.
((("mouse" "likes" "tiger" "+") ("mouse" "chases" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone chases the cat and the cat eats the tiger then the tiger likes the cat.
((("someone" "chases" "cat" "+") ("cat" "eats" "tiger" "+")) -> ("tiger" "likes" "cat" "+"))
If the mouse is red and the mouse eats the cat then the cat likes the bald eagle.
((("mouse" "is" "red" "+") ("mouse" "eats" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone chases the mouse and they chase the bald eagle then the bald eagle eats the cat.
((("someone" "chases" "mouse" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone chases the tiger and they are round then they are young.
((("someone" "chases" "tiger" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone eats the tiger then they chase the cat.
((("someone" "eats" "tiger" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the bald eagle then the bald eagle is young.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone chases the mouse then the mouse eats the tiger.
((("someone" "chases" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple3)]
("mouse" "eats" "bald eagle" "+")
triple3
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "bald eagle" "-")
triple3
The mouse eats the tiger.
True
2
proof
[(((triple4) -> rule8))]
("mouse" "eats" "tiger" "+")
((triple4) -> (rule8 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple2) -> rule6))]
("cat" "chases" "cat" "-")
((triple2) -> (rule6 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "young" "-")
The cat likes the bald eagle.
Unknown
rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "bald eagle" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat eats the tiger.[(triple2)] The mouse eats the bald eagle.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The cat chases the cat.[(((triple2) -> rule6))] The mouse eats the tiger.[(((triple4) -> rule8))] The tiger likes the cat.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule6) triple2) -> rule2) OR ((((((triple4) -> rule8)) -> rule6) triple2) -> rule2))] @2: The mouse chases the cat.[(((((triple4) -> rule8)) -> rule6))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple4
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple2) -> (rule6 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((triple4) -> (rule8 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
((triple1 triple2) -> (rule2 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
((((((triple4) -> (rule8 % int3))) -> (rule6 % int2)) triple2) -> (rule2 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2