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