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