The bald eagle is blue. The bald eagle likes the cow. The cow likes the bald eagle. If someone likes the cow then the cow needs the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
If someone likes the cow then the cow needs the bald eagle.
((("someone" "likes" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The cow needs the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("cow" "needs" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "needs" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow likes the bald eagle.[(triple3)] @1: The cow needs the bald eagle.[(((triple2) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1