The bald eagle is green. The bear needs the bald eagle. The dog is not nice. If the bald eagle is green then the bald eagle needs the dog. If someone needs the dog then they do not eat the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The dog is not nice.
("dog" "is" "nice" "-")
If the bald eagle is green then the bald eagle needs the dog.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the dog then they do not eat the bald eagle.
((("someone" "needs" "dog" "+")) -> ("someone" "eats" "bald eagle" "-"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle needs the dog.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not need the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "dog" "-")
((triple1) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not eat the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle eats the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog does not need the bear.
Unknown
inv-random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The bald eagle is green.[(triple1)] The bear needs the bald eagle.[(triple2)] The dog is not nice.[(triple3)] @1: The bald eagle needs the dog.[(((triple1) -> rule1))] @2: The bald eagle does not eat the bald eagle.[(((((triple1) -> rule1)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The dog is not nice.
("dog" "is" "nice" "-")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle does not eat the bald eagle.
("bald eagle" "eats" "bald eagle" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2