The bald eagle needs the bear. The bear needs the bald eagle. The bear needs the cow. The cow chases the bald eagle. The cow is nice. The cow does not like the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is not kind. The squirrel needs the bald eagle. If something is blue then it is rough. If something is rough then it likes the bear. If something is rough and it does not chase the bald eagle then it likes the cow. If something is rough and not nice then it is kind. If something chases the bear and the bear chases the bald eagle then it is kind. If something likes the cow then it does not need the bear.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it likes the bear.
((("something" "is" "rough" "+")) -> ("something" "likes" "bear" "+"))
If something is rough and it does not chase the bald eagle then it likes the cow.
((("something" "is" "rough" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "likes" "cow" "+"))
If something is rough and not nice then it is kind.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "kind" "+"))
If something chases the bear and the bear chases the bald eagle then it is kind.
((("something" "chases" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something likes the cow then it does not need the bear.
((("something" "likes" "cow" "+")) -> ("something" "needs" "bear" "-"))
The squirrel needs the bald eagle.
True
1
proof
[(triple10)]
("squirrel" "needs" "bald eagle" "+")
triple10
The bald eagle does not need the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "bear" "-")
triple1
The squirrel is rough.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "is" "rough" "+")
((triple8) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "rough" "-")
((triple8) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the bear.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("squirrel" "likes" "bear" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel does not like the bear.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("squirrel" "likes" "bear" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bear does not like the bear.
Unknown
inv-rconc
[@2: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "+")
The cow does not like the bear.
Unknown
inv-rconc
[@2: The cow likes the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "likes" "bear" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
The bear does not chase the bald eagle.
Unknown
inv-random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear needs the bald eagle.[(triple2)] The bear needs the cow.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow does not like the bald eagle.[(triple6)] The cow is nice.[(triple5)] The squirrel chases the bald eagle.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The squirrel is rough.[(((triple8) -> rule1))] @2: The squirrel likes the bear.[(((((triple8) -> rule1)) -> rule2))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple8) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2