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