The bear is red. The dog does not chase the bear. The dog does not eat the lion. The dog is green. The dog does not need the bear. The lion eats the dog. The mouse eats the dog. Red people are not green.
The bear is red.
("bear" "is" "red" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog does not eat the lion.
("dog" "eats" "lion" "-")
The dog is green.
("dog" "is" "green" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
Red people are not green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
The dog is green.
True
1
proof
[(triple4)]
("dog" "is" "green" "+")
triple4
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The bear is not green.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "green" "-")
((triple1) -> (rule1 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The bear is green.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The lion does not eat the bear.
Unknown
inv-random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "-")
The bear eats the dog.
Unknown
random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "+")
The dog does not need the lion.
Unknown
inv-random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear is red.[(triple1)] The dog does not chase the bear.[(triple2)] The dog does not eat the lion.[(triple3)] The dog does not need the bear.[(triple5)] The dog is green.[(triple4)] The lion eats the dog.[(triple6)] The mouse eats the dog.[(triple7)] @1: The bear is not green.[(((triple1) -> rule1))]
The bear is red.
("bear" "is" "red" "+")
triple1
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple2
The dog does not eat the lion.
("dog" "eats" "lion" "-")
triple3
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple5
The dog is green.
("dog" "is" "green" "+")
triple4
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The bear is not green.
("bear" "is" "green" "-")
((triple1) -> (rule1 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1