The bald eagle chases the lion. The bald eagle is blue. The bald eagle likes the lion. The bald eagle needs the cat. The bald eagle needs the lion. The cat is blue. The cat is red. The cat is round. The cat likes the lion. The lion chases the tiger. The lion needs the tiger. The tiger chases the lion. If someone chases the lion then they chase the cat. If someone is blue and they need the cat then the cat chases the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone chases the lion then they chase the cat.
((("someone" "chases" "lion" "+")) -> ("someone" "chases" "cat" "+"))
If someone is blue and they need the cat then the cat chases the lion.
((("someone" "is" "blue" "+") ("someone" "needs" "cat" "+")) -> ("cat" "chases" "lion" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle does not like the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "lion" "-")
triple3
The cat chases the lion.
True
3
proof
[(((triple2 triple4) -> rule2))]
("cat" "chases" "lion" "+")
((triple2 triple4) -> (rule2 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The bald eagle does not chase the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "cat" "-")
((triple1) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The cat chases the cat.
True
4
proof
[(((((triple2 triple4) -> rule2)) -> rule1))]
("cat" "chases" "cat" "+")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The cat does not chase the cat.
False
4
inv-proof
[(((((triple2 triple4) -> rule2)) -> rule1))]
("cat" "chases" "cat" "-")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "cat" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the lion.[(triple5)] The cat is blue.[(triple6)] The cat is red.[(triple7)] The cat is round.[(triple8)] The cat likes the lion.[(triple9)] The lion chases the tiger.[(triple10)] The lion needs the tiger.[(triple11)] The tiger chases the lion.[(triple12)] @1: The bald eagle chases the cat.[(((triple1) -> rule1))] The cat chases the lion.[(((triple2 triple4) -> rule2))] The tiger chases the cat.[(((triple12) -> rule1))] @2: The cat chases the cat.[(((((triple2 triple4) -> rule2)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat likes the lion.
("cat" "likes" "lion" "+")
triple9
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple10
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
((triple2 triple4) -> (rule2 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
((triple12) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2