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