The bald eagle eats the cow. The bald eagle is not rough. The bald eagle likes the cow. The bald eagle needs the squirrel. The cow eats the bald eagle. The cow likes the dog. The cow does not need the squirrel. The dog is cold. The dog is rough. The squirrel needs the bald eagle. If someone is rough then they like the cow. If someone is blue and red then they do not need the dog.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone is rough then they like the cow.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cow" "+"))
If someone is blue and red then they do not need the dog.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "dog" "-"))
The cow does not need the squirrel.
True
1
proof
[(triple7)]
("cow" "needs" "squirrel" "-")
triple7
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cow" "-")
triple1
The dog likes the cow.
True
2
proof
[(((triple9) -> rule1))]
("dog" "likes" "cow" "+")
((triple9) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not like the cow.
False
2
inv-proof
[(((triple9) -> rule1))]
("dog" "likes" "cow" "-")
((triple9) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The squirrel does not like the cow.
Unknown
inv-rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cow" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The cow does not need the squirrel.[(triple7)] The cow eats the bald eagle.[(triple5)] The cow likes the dog.[(triple6)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The dog likes the cow.[(((triple9) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple9) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1