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