The bald eagle is nice. The bald eagle visits the cow. The bear likes the bald eagle. The cow likes the bear. The cow visits the bald eagle. The cow visits the bear. The cow visits the squirrel. The squirrel chases the bear. The squirrel likes the bald eagle. The squirrel likes the bear. If the bald eagle chases the squirrel and the bald eagle is blue then the squirrel visits the bald eagle. If the squirrel likes the bear then the squirrel is rough. If someone visits the bear then they visit the bald eagle. If someone visits the bear and they chase the squirrel then the squirrel is nice. If someone likes the cow and the cow visits the bald eagle then the bald eagle likes the bear. If someone is rough then they visit the bear.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If the bald eagle chases the squirrel and the bald eagle is blue then the squirrel visits the bald eagle.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "is" "blue" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If the squirrel likes the bear then the squirrel is rough.
((("squirrel" "likes" "bear" "+")) -> ("squirrel" "is" "rough" "+"))
If someone visits the bear then they visit the bald eagle.
((("someone" "visits" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bear and they chase the squirrel then the squirrel is nice.
((("someone" "visits" "bear" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone likes the cow and the cow visits the bald eagle then the bald eagle likes the bear.
((("someone" "likes" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone is rough then they visit the bear.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bear" "+"))
The squirrel likes the bear.
True
1
proof
[(triple10)]
("squirrel" "likes" "bear" "+")
triple10
The squirrel does not chase the bear.
False
1
inv-proof
[(triple8)]
("squirrel" "chases" "bear" "-")
triple8
The squirrel is rough.
True
2
proof
[(((triple10) -> rule2))]
("squirrel" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple10) -> rule2))]
("squirrel" "is" "rough" "-")
((triple10) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel visits the bear.
True
3
proof
[(((((triple10) -> rule2)) -> rule6))]
("squirrel" "visits" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel does not visit the bear.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule6))]
("squirrel" "visits" "bear" "-")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel visits the bald eagle.
True
4
proof
[(((((((triple10) -> rule2)) -> rule6)) -> rule3))]
("squirrel" "visits" "bald eagle" "+")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel does not visit the bald eagle.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule6)) -> rule3))]
("squirrel" "visits" "bald eagle" "-")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bear" "-")
The bald eagle likes the bear.
Unknown
rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "bear" "+")
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@2: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The bear does not like the cow.
Unknown
inv-random
[@0: The bear likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cow" "-")
The bald eagle chases the bear.
Unknown
random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the cow.[(triple2)] The bear likes the bald eagle.[(triple3)] The cow likes the bear.[(triple4)] The cow visits the bald eagle.[(triple5 OR ((triple6) -> rule3))] The cow visits the bear.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the bear.[(triple10)] @1: The squirrel is rough.[(((triple10) -> rule2))] @2: The squirrel visits the bear.[(((((triple10) -> rule2)) -> rule6))] @3: The squirrel visits the bald eagle.[(((((((triple10) -> rule2)) -> rule6)) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple3
The cow likes the bear.
("cow" "likes" "bear" "+")
triple4
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple5
((triple6) -> (rule3 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
triple6
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple7
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple8
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3