The bear is not rough. The bear needs the mouse. The dog does not chase the mouse. The dog is kind. The dog is nice. The dog is red. The dog does not need the tiger. The mouse is blue. The mouse is red. The mouse needs the bear. The mouse does not see the tiger. The tiger is blue. The tiger is nice. The tiger is red. The tiger needs the dog. The tiger sees the mouse. If something is blue and it does not see the bear then the bear does not chase the tiger.
The bear is not rough.
("bear" "is" "rough" "-")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If something is blue and it does not see the bear then the bear does not chase the tiger.
((("something" "is" "blue" "+") ("something" "sees" "bear" "~")) -> ("bear" "chases" "tiger" "-"))
The mouse is blue.
True
1
proof
[(triple8)]
("mouse" "is" "blue" "+")
triple8
The dog is not red.
False
1
inv-proof
[(triple6)]
("dog" "is" "red" "-")
triple6
The bear does not need the dog.
Unknown
inv-random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
@0: The bear is not rough.[(triple1)] The bear needs the mouse.[(triple2)] The dog does not chase the mouse.[(triple3)] The dog does not need the tiger.[(triple7)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6)] The mouse does not see the tiger.[(triple11)] The mouse is blue.[(triple8)] The mouse is red.[(triple9)] The mouse needs the bear.[(triple10)] The tiger is blue.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger needs the dog.[(triple15)] The tiger sees the mouse.[(triple16)]
The bear is not rough.
("bear" "is" "rough" "-")
triple1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple2
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple3
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16