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