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