The bald eagle likes the cow. The cat likes the bald eagle. The cow eats the bald eagle. If someone eats the cow then the cow sees the cat. If someone likes the cow then the cow sees the cat. If someone likes the cow then the cow sees the bald eagle.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
If someone eats the cow then the cow sees the cat.
((("someone" "eats" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone likes the cow then the cow sees the cat.
((("someone" "likes" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone likes the cow then the cow sees the bald eagle.
((("someone" "likes" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple3)]
("cow" "eats" "bald eagle" "+")
triple3
The cat does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "likes" "bald eagle" "-")
triple2
The cow sees the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("cow" "sees" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow does not see the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "sees" "cat" "-")
((triple1) -> (rule2 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
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 cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle likes the cow.[(triple1)] The cat likes the bald eagle.[(triple2)] The cow eats the bald eagle.[(triple3)] @1: The cow sees the bald eagle.[(((triple1) -> rule3))] The cow sees the cat.[(((triple1) -> rule2))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
((triple1) -> (rule2 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1