The bald eagle is kind. The cow eats the squirrel. The cow is blue. The cow needs the dog. The cow needs the squirrel. The cow sees the bald eagle. The dog eats the cow. The dog is blue. The dog needs the bald eagle. The squirrel eats the bald eagle. If someone needs the dog then the dog sees the cow. If someone sees the bald eagle then the bald eagle eats the cow.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone needs the dog then the dog sees the cow.
((("someone" "needs" "dog" "+")) -> ("dog" "sees" "cow" "+"))
If someone sees the bald eagle then the bald eagle eats the cow.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
The dog is blue.
True
1
proof
[(triple8)]
("dog" "is" "blue" "+")
triple8
The cow does not need the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "needs" "squirrel" "-")
triple5
The bald eagle eats the cow.
True
2
proof
[(((triple6) -> rule2))]
("bald eagle" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The dog does not see the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("dog" "sees" "cow" "-")
((triple4) -> (rule1 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel sees the bald eagle.
Unknown
random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is blue.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The cow sees the bald eagle.[(triple6)] The dog eats the cow.[(triple7)] The dog is blue.[(triple8)] The dog needs the bald eagle.[(triple9)] The squirrel eats the bald eagle.[(triple10)] @1: The bald eagle eats the cow.[(((triple6) -> rule2))] The dog sees the cow.[(((triple4) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
((triple4) -> (rule1 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1