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