The bear needs the cow. The cow sees the rabbit. The rabbit eats the bear. If the bear needs the cow then the cow does not need the bear.
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If the bear needs the cow then the cow does not need the bear.
((("bear" "needs" "cow" "+")) -> ("cow" "needs" "bear" "-"))
The rabbit eats the bear.
True
1
proof
[(triple3)]
("rabbit" "eats" "bear" "+")
triple3
The cow does not see the rabbit.
False
1
inv-proof
[(triple2)]
("cow" "sees" "rabbit" "-")
triple2
The cow does not need the bear.
True
2
proof
[(((triple1) -> rule1))]
("cow" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cow does not need the bear.
("cow" "needs" "bear" "-")
int1
The cow needs the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cow does not need the bear.
("cow" "needs" "bear" "-")
int1
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cow sees the bear.
Unknown
random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bear needs the cow.[(triple1)] The cow sees the rabbit.[(triple2)] The rabbit eats the bear.[(triple3)] @1: The cow does not need the bear.[(((triple1) -> rule1))]
The bear needs the cow.
("bear" "needs" "cow" "+")
triple1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple3
The cow does not need the bear.
("cow" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cow does not need the bear.
("cow" "needs" "bear" "-")
int1