The bald eagle likes the cow. The bald eagle does not see the cow. The cow sees the bald eagle. If someone likes the cow then they are red. If someone is rough and they do not see the cow then the cow visits the bald eagle.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone likes the cow then they are red.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and they do not see the cow then the cow visits the bald eagle.
((("someone" "is" "rough" "+") ("someone" "sees" "cow" "~")) -> ("cow" "visits" "bald eagle" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple3)]
("cow" "sees" "bald eagle" "+")
triple3
The cow does not see the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "sees" "bald eagle" "-")
triple3
The bald eagle is red.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "red" "-")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "red" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle does not see the cow.[(triple2)] The bald eagle likes the cow.[(triple1)] The cow sees the bald eagle.[(triple3)] @1: The bald eagle is red.[(((triple1) -> rule1))]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1