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