The lion is green. The lion is red. The lion does not like the tiger. The lion sees the tiger. The mouse chases the lion. The mouse is red. The mouse likes the lion. The mouse likes the tiger. The mouse sees the tiger. The tiger does not chase the mouse. The tiger is big. The tiger is blue. The tiger is young. The tiger likes the lion. The tiger likes the mouse. The tiger does not see the lion. If someone sees the lion then the lion is not blue. If someone chases the lion and they like the mouse then the lion is red.
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
If someone sees the lion then the lion is not blue.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "blue" "-"))
If someone chases the lion and they like the mouse then the lion is red.
((("someone" "chases" "lion" "+") ("someone" "likes" "mouse" "+")) -> ("lion" "is" "red" "+"))
The mouse chases the lion.
True
1
proof
[(triple5)]
("mouse" "chases" "lion" "+")
triple5
The tiger chases the mouse.
False
1
inv-proof
[(triple10)]
("tiger" "chases" "mouse" "+")
triple10
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The lion does not like the tiger.[(triple3)] The lion is green.[(triple1)] The lion is red.[(triple2)] The lion sees the tiger.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is red.[(triple6)] The mouse likes the lion.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger does not chase the mouse.[(triple10)] The tiger does not see the lion.[(triple16)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is young.[(triple13)] The tiger likes the lion.[(triple14)] The tiger likes the mouse.[(triple15)]
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
triple3
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple4
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple7
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple8
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple9
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple10
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple16
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15