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