The lion is not kind. The lion likes the tiger. The lion sees the tiger. The mouse is not rough. The mouse does not like the lion. The mouse does not see the tiger. The tiger is rough. The tiger likes the lion. The tiger likes the mouse. The tiger needs the lion. The tiger does not see the lion. The tiger sees the mouse. If something needs the tiger then the tiger sees the mouse. If the lion sees the mouse and the lion needs the tiger then the lion sees the tiger.
The lion is not kind.
("lion" "is" "kind" "-")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If something needs the tiger then the tiger sees the mouse.
((("something" "needs" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
If the lion sees the mouse and the lion needs the tiger then the lion sees the tiger.
((("lion" "sees" "mouse" "+") ("lion" "needs" "tiger" "+")) -> ("lion" "sees" "tiger" "+"))
The tiger sees the mouse.
True
1
proof
[(triple12)]
("tiger" "sees" "mouse" "+")
triple12
The tiger does not like the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "mouse" "-")
triple9
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The lion is not kind.[(triple1)] The lion likes the tiger.[(triple2)] The lion sees the tiger.[(triple3)] The mouse does not like the lion.[(triple5)] The mouse does not see the tiger.[(triple6)] The mouse is not rough.[(triple4)] The tiger does not see the lion.[(triple11)] The tiger is rough.[(triple7)] The tiger likes the lion.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger needs the lion.[(triple10)] The tiger sees the mouse.[(triple12)]
The lion is not kind.
("lion" "is" "kind" "-")
triple1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple3
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple5
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
triple6
The mouse is not rough.
("mouse" "is" "rough" "-")
triple4
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple8
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple9
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple10
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple12