The bear does not see the cat. The cat is big. The cat is young. The cat likes the mouse. The cat likes the squirrel. The cat sees the squirrel. The mouse is blue. The mouse sees the bear. The mouse sees the cat. The mouse sees the squirrel. The squirrel likes the cat. The squirrel likes the mouse. If something sees the cat and it sees the mouse then the mouse likes the squirrel. If something likes the squirrel then it needs the mouse. If something sees the bear then it likes the squirrel. If something is blue then it is round. If the mouse is kind and the mouse needs the squirrel then the mouse sees the bear. If something is big and it sees the bear then it likes the bear.
The bear does not see the cat.
("bear" "sees" "cat" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something sees the cat and it sees the mouse then the mouse likes the squirrel.
((("something" "sees" "cat" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If something likes the squirrel then it needs the mouse.
((("something" "likes" "squirrel" "+")) -> ("something" "needs" "mouse" "+"))
If something sees the bear then it likes the squirrel.
((("something" "sees" "bear" "+")) -> ("something" "likes" "squirrel" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If the mouse is kind and the mouse needs the squirrel then the mouse sees the bear.
((("mouse" "is" "kind" "+") ("mouse" "needs" "squirrel" "+")) -> ("mouse" "sees" "bear" "+"))
If something is big and it sees the bear then it likes the bear.
((("something" "is" "big" "+") ("something" "sees" "bear" "+")) -> ("something" "likes" "bear" "+"))
The cat likes the mouse.
True
1
proof
[(triple4)]
("cat" "likes" "mouse" "+")
triple4
The squirrel does not like the mouse.
False
1
inv-proof
[(triple12)]
("squirrel" "likes" "mouse" "-")
triple12
The mouse likes the squirrel.
True
2
proof
[(((triple8) -> rule3))]
("mouse" "likes" "squirrel" "+")
((triple8) -> (rule3 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The cat does not need the mouse.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "needs" "mouse" "-")
((triple5) -> (rule2 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The mouse needs the mouse.
True
3
proof
[(((((triple8) -> rule3)) -> rule2))]
("mouse" "needs" "mouse" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse does not need the mouse.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule2))]
("mouse" "needs" "mouse" "-")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The squirrel needs the mouse.
Unknown
rconc
[@2: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("squirrel" "needs" "mouse" "+")
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The cat does not need the bear.
Unknown
inv-random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "-")
The squirrel sees the mouse.
Unknown
random
[@0: The squirrel sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "mouse" "+")
@0: The bear does not see the cat.[(triple1)] The cat is big.[(triple2)] The cat is young.[(triple3)] The cat likes the mouse.[(triple4)] The cat likes the squirrel.[(triple5)] The cat sees the squirrel.[(triple6)] The mouse is blue.[(triple7)] The mouse sees the bear.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The cat needs the mouse.[(((triple5) -> rule2))] The mouse is round.[(((triple7) -> rule4))] The mouse likes the squirrel.[(((triple8) -> rule3))] @2: The mouse needs the mouse.[(((((triple8) -> rule3)) -> rule2))]
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple9
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple10
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The cat needs the mouse.
("cat" "needs" "mouse" "+")
((triple5) -> (rule2 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple7) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple8) -> (rule3 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2