The mouse is green. The mouse needs the tiger. The mouse sees the tiger. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel likes the mouse. The squirrel likes the tiger. The squirrel needs the mouse. The squirrel needs the tiger. The squirrel sees the mouse. The squirrel does not see the tiger. The tiger is young. The tiger needs the mouse. The tiger needs the squirrel. The tiger sees the mouse. If someone is young and they do not need the tiger then the tiger likes the squirrel. If someone needs the squirrel and they are kind then the squirrel sees the tiger.
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone is young and they do not need the tiger then the tiger likes the squirrel.
((("someone" "is" "young" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "likes" "squirrel" "+"))
If someone needs the squirrel and they are kind then the squirrel sees the tiger.
((("someone" "needs" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("squirrel" "sees" "tiger" "+"))
The squirrel needs the mouse.
True
1
proof
[(triple9)]
("squirrel" "needs" "mouse" "+")
triple9
The tiger does not need the mouse.
False
1
inv-proof
[(triple14)]
("tiger" "needs" "mouse" "-")
triple14
The tiger does not like the squirrel.
Unknown
inv-rconc
[@1: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "squirrel" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The mouse is green.[(triple1)] The mouse needs the tiger.[(triple2)] The mouse sees the tiger.[(triple3)] The squirrel does not see the tiger.[(triple12)] The squirrel is big.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is green.[(triple6)] The squirrel likes the mouse.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel sees the mouse.[(triple11)] The tiger is young.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger needs the squirrel.[(triple15)] The tiger sees the mouse.[(triple16)]
The mouse is green.
("mouse" "is" "green" "+")
triple1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple3
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple7
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16