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