The bald eagle chases the cow. The bald eagle likes the bear. The bald eagle sees the cow. The bear does not chase the squirrel. The bear is rough. The bear likes the bald eagle. The bear likes the squirrel. The bear sees the cow. The cow does not see the bear. The squirrel is blue. If someone sees the squirrel then they chase the bear. If someone sees the squirrel and the squirrel is not blue then they are not round. All green people are round. If someone is round then they do not chase the cow. If someone sees the cow then the cow sees the squirrel. If the squirrel chases the bald eagle and the squirrel is round then the bald eagle is not blue. If someone sees the squirrel and the squirrel chases the bear then the bear sees the squirrel. If someone chases the squirrel and they do not see the bald eagle then the bald eagle chases the bear.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone sees the squirrel then they chase the bear.
((("someone" "sees" "squirrel" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the squirrel and the squirrel is not blue then they are not round.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "blue" "~")) -> ("someone" "is" "round" "-"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they do not chase the cow.
((("someone" "is" "round" "+")) -> ("someone" "chases" "cow" "-"))
If someone sees the cow then the cow sees the squirrel.
((("someone" "sees" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If the squirrel chases the bald eagle and the squirrel is round then the bald eagle is not blue.
((("squirrel" "chases" "bald eagle" "+") ("squirrel" "is" "round" "+")) -> ("bald eagle" "is" "blue" "-"))
If someone sees the squirrel and the squirrel chases the bear then the bear sees the squirrel.
((("someone" "sees" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If someone chases the squirrel and they do not see the bald eagle then the bald eagle chases the bear.
((("someone" "chases" "squirrel" "+") ("someone" "sees" "bald eagle" "~")) -> ("bald eagle" "chases" "bear" "+"))
The squirrel is blue.
True
1
proof
[(triple10)]
("squirrel" "is" "blue" "+")
triple10
The squirrel is not blue.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "blue" "-")
triple10
The cow sees the squirrel.
True
2
proof
[(((triple3) -> rule5) OR ((triple8) -> rule5))]
("cow" "sees" "squirrel" "+")
((triple3) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
((triple8) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow does not see the squirrel.
False
2
inv-proof
[(((triple3) -> rule5) OR ((triple8) -> rule5))]
("cow" "sees" "squirrel" "-")
((triple3) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
((triple8) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow chases the bear.
True
3
proof
[(((((triple3) -> rule5)) -> rule1) OR ((((triple8) -> rule5)) -> rule1))]
("cow" "chases" "bear" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The cow does not chase the bear.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule1) OR ((((triple8) -> rule5)) -> rule1))]
("cow" "chases" "bear" "-")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "round" "-")
The bear chases the bear.
Unknown
rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("bear" "chases" "bear" "+")
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "round" "-")
The squirrel chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle sees the cow.[(triple3)] The bear does not chase the squirrel.[(triple4)] The bear is rough.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the squirrel.[(triple7)] The bear sees the cow.[(triple8)] The cow does not see the bear.[(triple9)] The squirrel is blue.[(triple10)] @1: The cow sees the squirrel.[(((triple3) -> rule5) OR ((triple8) -> rule5))] @2: The cow chases the bear.[(((((triple3) -> rule5)) -> rule1) OR ((((triple8) -> rule5)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((triple3) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
((triple8) -> (rule5 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2