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