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