The lion likes the mouse. The lion likes the tiger. The mouse chases the squirrel. The mouse chases the tiger. The squirrel chases the lion. The squirrel is kind. The tiger needs the squirrel. If someone is cold and they need the squirrel then the squirrel needs the mouse. If someone likes the tiger and the tiger is cold then the tiger chases the squirrel. If someone is green and they chase the lion then the lion chases the mouse. If someone needs the lion and they need the squirrel then the lion needs the mouse. If someone chases the squirrel then they are nice. If someone chases the mouse and they chase the squirrel then the squirrel is green. If someone needs the squirrel and they are kind then they need the mouse. If the mouse is rough then the mouse chases the squirrel.
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is cold and they need the squirrel then the squirrel needs the mouse.
((("someone" "is" "cold" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "mouse" "+"))
If someone likes the tiger and the tiger is cold then the tiger chases the squirrel.
((("someone" "likes" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone is green and they chase the lion then the lion chases the mouse.
((("someone" "is" "green" "+") ("someone" "chases" "lion" "+")) -> ("lion" "chases" "mouse" "+"))
If someone needs the lion and they need the squirrel then the lion needs the mouse.
((("someone" "needs" "lion" "+") ("someone" "needs" "squirrel" "+")) -> ("lion" "needs" "mouse" "+"))
If someone chases the squirrel then they are nice.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the mouse and they chase the squirrel then the squirrel is green.
((("someone" "chases" "mouse" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone needs the squirrel and they are kind then they need the mouse.
((("someone" "needs" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "mouse" "+"))
If the mouse is rough then the mouse chases the squirrel.
((("mouse" "is" "rough" "+")) -> ("mouse" "chases" "squirrel" "+"))
The lion likes the tiger.
True
1
proof
[(triple2)]
("lion" "likes" "tiger" "+")
triple2
The squirrel is not kind.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "kind" "-")
triple6
The mouse is nice.
True
2
proof
[(((triple3) -> rule5))]
("mouse" "is" "nice" "+")
((triple3) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple3) -> rule5))]
("mouse" "is" "nice" "-")
((triple3) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The tiger is not nice.
Unknown
inv-rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("tiger" "is" "nice" "-")
The tiger chases the squirrel.
Unknown
rconc
[@1: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "squirrel" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The lion needs the tiger.
Unknown
random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "+")
@0: The lion likes the mouse.[(triple1)] The lion likes the tiger.[(triple2)] The mouse chases the squirrel.[(triple3)] The mouse chases the tiger.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel is kind.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The mouse is nice.[(((triple3) -> rule5))]
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple4
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
((triple3) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1