The cow is nice. The cow does not like the lion. The lion needs the cow. The lion visits the cow. The mouse is not nice. The mouse is young. The mouse needs the squirrel. The squirrel is nice. The squirrel is not rough. The squirrel likes the cow. The squirrel does not need the cow. The squirrel visits the mouse. If someone needs the lion and they visit the lion then the lion does not need the cow. If someone needs the mouse then the mouse is green. If someone likes the mouse then the mouse visits the lion. If someone visits the lion and they are young then they are not green. If someone needs the squirrel then the squirrel needs the lion. If the squirrel is rough then the squirrel likes the lion. If the squirrel needs the cow then the cow does not like the mouse. If someone likes the squirrel and the squirrel likes the lion then the lion is not green.
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the lion.
("cow" "likes" "lion" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone needs the lion and they visit the lion then the lion does not need the cow.
((("someone" "needs" "lion" "+") ("someone" "visits" "lion" "+")) -> ("lion" "needs" "cow" "-"))
If someone needs the mouse then the mouse is green.
((("someone" "needs" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone likes the mouse then the mouse visits the lion.
((("someone" "likes" "mouse" "+")) -> ("mouse" "visits" "lion" "+"))
If someone visits the lion and they are young then they are not green.
((("someone" "visits" "lion" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If someone needs the squirrel then the squirrel needs the lion.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
If the squirrel is rough then the squirrel likes the lion.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "likes" "lion" "+"))
If the squirrel needs the cow then the cow does not like the mouse.
((("squirrel" "needs" "cow" "+")) -> ("cow" "likes" "mouse" "-"))
If someone likes the squirrel and the squirrel likes the lion then the lion is not green.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "lion" "+")) -> ("lion" "is" "green" "-"))
The cow does not like the lion.
True
1
proof
[(triple2)]
("cow" "likes" "lion" "-")
triple2
The cow is not nice.
False
1
inv-proof
[(triple1)]
("cow" "is" "nice" "-")
triple1
The squirrel needs the lion.
True
2
proof
[(((triple7) -> rule5))]
("squirrel" "needs" "lion" "+")
((triple7) -> (rule5 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel does not need the lion.
False
2
inv-proof
[(((triple7) -> rule5))]
("squirrel" "needs" "lion" "-")
((triple7) -> (rule5 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse visits the lion.
Unknown
rconc
[@1: The mouse visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "lion" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The cow does not like the lion.[(triple2)] The cow is nice.[(triple1)] The lion needs the cow.[(triple3)] The lion visits the cow.[(triple4)] The mouse is not nice.[(triple5)] The mouse is young.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel does not need the cow.[(triple11)] The squirrel is nice.[(triple8)] The squirrel is not rough.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel visits the mouse.[(triple12)] @1: The squirrel needs the lion.[(((triple7) -> rule5))]
The cow does not like the lion.
("cow" "likes" "lion" "-")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple1
The lion needs the cow.
("lion" "needs" "cow" "+")
triple3
The lion visits the cow.
("lion" "visits" "cow" "+")
triple4
The mouse is not nice.
("mouse" "is" "nice" "-")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((triple7) -> (rule5 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1