The bald eagle does not like the bear. The bear chases the lion. The cow eats the bear. The cow is nice. The cow is red. The lion likes the bear. The lion likes the cow. If someone is round and they eat the cow then the cow eats the lion. If someone is round and red then they eat the cow. If someone likes the cow then they do not eat the cow. If someone likes the cow then they chase the cow. If the bald eagle likes the bear then the bear does not like the cow. If the lion is round and the lion is red then the lion is cold. If someone chases the cow then the cow chases the lion. If someone likes the bear and they are not cold then they do not chase the bear.
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bear chases the lion.
("bear" "chases" "lion" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone is round and they eat the cow then the cow eats the lion.
((("someone" "is" "round" "+") ("someone" "eats" "cow" "+")) -> ("cow" "eats" "lion" "+"))
If someone is round and red then they eat the cow.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "cow" "+"))
If someone likes the cow then they do not eat the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "eats" "cow" "-"))
If someone likes the cow then they chase the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If the bald eagle likes the bear then the bear does not like the cow.
((("bald eagle" "likes" "bear" "+")) -> ("bear" "likes" "cow" "-"))
If the lion is round and the lion is red then the lion is cold.
((("lion" "is" "round" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "cold" "+"))
If someone chases the cow then the cow chases the lion.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "lion" "+"))
If someone likes the bear and they are not cold then they do not chase the bear.
((("someone" "likes" "bear" "+") ("someone" "is" "cold" "~")) -> ("someone" "chases" "bear" "-"))
The bear chases the lion.
True
1
proof
[(triple2)]
("bear" "chases" "lion" "+")
triple2
The cow does not eat the bear.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bear" "-")
triple3
The lion does not eat the cow.
True
2
proof
[(((triple7) -> rule3))]
("lion" "eats" "cow" "-")
((triple7) -> (rule3 % int1))
The lion does not eat the cow.
("lion" "eats" "cow" "-")
int1
The lion does not chase the cow.
False
2
inv-proof
[(((triple7) -> rule4))]
("lion" "chases" "cow" "-")
((triple7) -> (rule4 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The cow chases the lion.
True
3
proof
[(((((triple7) -> rule4)) -> rule7))]
("cow" "chases" "lion" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The cow does not chase the lion.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule7))]
("cow" "chases" "lion" "-")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "cold" "-")
The bear eats the cow.
Unknown
rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "cow" "+")
The bear does not chase the cow.
Unknown
inv-rconc
[@1: The bear chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "cow" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear likes the cow.
Unknown
random
[@0: The bear likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cow" "+")
@0: The bald eagle does not like the bear.[(triple1)] The bear chases the lion.[(triple2)] The cow eats the bear.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The lion likes the bear.[(triple6)] The lion likes the cow.[(triple7)] @1: The lion chases the cow.[(((triple7) -> rule4))] The lion does not eat the cow.[(((triple7) -> rule3))] @2: The cow chases the lion.[(((((triple7) -> rule4)) -> rule7))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
The lion likes the cow.
("lion" "likes" "cow" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
((triple7) -> (rule4 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion does not eat the cow.
("lion" "eats" "cow" "-")
((triple7) -> (rule3 % int1))
The lion does not eat the cow.
("lion" "eats" "cow" "-")
int1
The cow chases the lion.
("cow" "chases" "lion" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2