The bear sees the mouse. The cat chases the tiger. The cat is nice. The cat likes the bear. The mouse sees the bear. The mouse sees the cat. The tiger is kind. The tiger is rough. The tiger does not like the cat. The tiger sees the bear. If someone sees the cat and they like the bear then the bear does not see the tiger. If someone likes the tiger then they do not chase the cat.
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If someone sees the cat and they like the bear then the bear does not see the tiger.
((("someone" "sees" "cat" "+") ("someone" "likes" "bear" "+")) -> ("bear" "sees" "tiger" "-"))
If someone likes the tiger then they do not chase the cat.
((("someone" "likes" "tiger" "+")) -> ("someone" "chases" "cat" "-"))
The bear sees the mouse.
True
1
proof
[(triple1)]
("bear" "sees" "mouse" "+")
triple1
The mouse does not see the cat.
False
1
inv-proof
[(triple6)]
("mouse" "sees" "cat" "-")
triple6
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bear sees the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat is nice.[(triple3)] The cat likes the bear.[(triple4)] The mouse sees the bear.[(triple5)] The mouse sees the cat.[(triple6)] The tiger does not like the cat.[(triple9)] The tiger is kind.[(triple7)] The tiger is rough.[(triple8)] The tiger sees the bear.[(triple10)]
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat likes the bear.
("cat" "likes" "bear" "+")
triple4
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple5
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple6
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple10