The bald eagle eats the lion. The bald eagle likes the lion. The cow chases the lion. The cow eats the lion. The cow is green. The cow is rough. The cow is round. The cow likes the tiger. The lion chases the tiger. The tiger chases the bald eagle. The tiger chases the cow. The tiger chases the lion. The tiger is red. The tiger is rough. The tiger likes the cow. The tiger likes the lion. If someone chases the lion then the lion is rough. If someone likes the cow and they are green then they like the tiger. If someone is round and they eat the bald eagle then they are rough. If the bald eagle is red then the bald eagle is green. If someone eats the tiger and they eat the cow then they like the tiger. If the bald eagle chases the cow then the cow chases the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone chases the lion then the lion is rough.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone likes the cow and they are green then they like the tiger.
((("someone" "likes" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is round and they eat the bald eagle then they are rough.
((("someone" "is" "round" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If the bald eagle is red then the bald eagle is green.
((("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "green" "+"))
If someone eats the tiger and they eat the cow then they like the tiger.
((("someone" "eats" "tiger" "+") ("someone" "eats" "cow" "+")) -> ("someone" "likes" "tiger" "+"))
If the bald eagle chases the cow then the cow chases the bald eagle.
((("bald eagle" "chases" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
The cow likes the tiger.
True
1
proof
[(triple8)]
("cow" "likes" "tiger" "+")
triple8
The lion does not chase the tiger.
False
1
inv-proof
[(triple9)]
("lion" "chases" "tiger" "-")
triple9
The lion is rough.
True
2
proof
[(((triple12) -> rule1) OR ((triple3) -> rule1))]
("lion" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple12) -> rule1) OR ((triple3) -> rule1))]
("lion" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the lion.[(triple4)] The cow is green.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow likes the tiger.[(triple8)] The lion chases the tiger.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the cow.[(triple15)] The tiger likes the lion.[(triple16)] @1: The lion is rough.[(((triple12) -> rule1) OR ((triple3) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow eats the lion.
("cow" "eats" "lion" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple8
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple15
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple16
The lion is rough.
("lion" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1