The bald eagle chases the tiger. The bear chases the bald eagle. The cat chases the bald eagle. The tiger is young. If the bear chases the bald eagle and the bear is blue then the bear is kind. If something is round then it sees the tiger. If the tiger likes the bald eagle then the tiger chases the cat. If something is round then it chases the bear. If the tiger chases the cat then the cat chases the tiger. If something is young then it likes the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the bear chases the bald eagle and the bear is blue then the bear is kind.
((("bear" "chases" "bald eagle" "+") ("bear" "is" "blue" "+")) -> ("bear" "is" "kind" "+"))
If something is round then it sees the tiger.
((("something" "is" "round" "+")) -> ("something" "sees" "tiger" "+"))
If the tiger likes the bald eagle then the tiger chases the cat.
((("tiger" "likes" "bald eagle" "+")) -> ("tiger" "chases" "cat" "+"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If the tiger chases the cat then the cat chases the tiger.
((("tiger" "chases" "cat" "+")) -> ("cat" "chases" "tiger" "+"))
If something is young then it likes the bald eagle.
((("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple2)]
("bear" "chases" "bald eagle" "+")
triple2
The cat does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "chases" "bald eagle" "-")
triple3
The tiger likes the bald eagle.
True
2
proof
[(((triple4) -> rule6))]
("tiger" "likes" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger does not like the bald eagle.
False
2
inv-proof
[(((triple4) -> rule6))]
("tiger" "likes" "bald eagle" "-")
((triple4) -> (rule6 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger chases the cat.
True
3
proof
[(((((triple4) -> rule6)) -> rule3))]
("tiger" "chases" "cat" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger does not chase the cat.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule3))]
("tiger" "chases" "cat" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The cat chases the tiger.
True
4
proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]
("cat" "chases" "tiger" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The cat does not chase the tiger.
False
4
inv-proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]
("cat" "chases" "tiger" "-")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger chases the bear.
Unknown
rconc
[@1: The tiger chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "bear" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear chases the tiger.
Unknown
random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "+")
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bear chases the bald eagle.[(triple2)] The cat chases the bald eagle.[(triple3)] The tiger is young.[(triple4)] @1: The tiger likes the bald eagle.[(((triple4) -> rule6))] @2: The tiger chases the cat.[(((((triple4) -> rule6)) -> rule3))] @3: The cat chases the tiger.[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The tiger is young.
("tiger" "is" "young" "+")
triple4
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3