The bald eagle visits the cow. The bear needs the bald eagle. The cow is nice. The squirrel is green. If the cow is cold and the cow needs the squirrel then the squirrel chases the bald eagle. If something visits the cow then the cow needs the bald eagle.
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If the cow is cold and the cow needs the squirrel then the squirrel chases the bald eagle.
((("cow" "is" "cold" "+") ("cow" "needs" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something visits the cow then the cow needs the bald eagle.
((("something" "visits" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
The bald eagle visits the cow.
True
1
proof
[(triple1)]
("bald eagle" "visits" "cow" "+")
triple1
The bear does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "needs" "bald eagle" "-")
triple2
The cow needs the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("cow" "needs" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "needs" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The cow chases the squirrel.
Unknown
random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "+")
The cow does not chase the bear.
Unknown
inv-random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The bald eagle visits the cow.[(triple1)] The bear needs the bald eagle.[(triple2)] The cow is nice.[(triple3)] The squirrel is green.[(triple4)] @1: The cow needs the bald eagle.[(((triple1) -> rule2))]
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1