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