The bear is green. The bear is kind. The bear likes the dog. The bear needs the dog. The bear does not visit the dog. The dog is cold. The dog visits the bear. If something needs the dog and it likes the dog then the dog does not need the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something needs the dog and it likes the dog then the dog does not need the bear.
((("something" "needs" "dog" "+") ("something" "likes" "dog" "+")) -> ("dog" "needs" "bear" "-"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The dog does not need the bear.
True
3
proof
[(((triple4 triple3) -> rule1))]
("dog" "needs" "bear" "-")
((triple4 triple3) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1
The dog needs the bear.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("dog" "needs" "bear" "+")
((triple4 triple3) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear does not visit the dog.[(triple5)] The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the dog.[(triple4)] The dog is cold.[(triple6)] The dog visits the bear.[(triple7)] @1: The dog does not need the bear.[(((triple4 triple3) -> rule1))]
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple5
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The dog does not need the bear.
("dog" "needs" "bear" "-")
((triple4 triple3) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1