The squirrel is big. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel likes the tiger. The squirrel sees the tiger. The tiger is not big. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the squirrel. The tiger sees the squirrel. If someone needs the squirrel then the squirrel likes the tiger. If someone likes the squirrel and they see the tiger then the tiger is not rough. If someone sees the squirrel and they need the squirrel then they like the squirrel. If someone needs the tiger and they are not blue then the tiger needs the squirrel. If someone likes the tiger then the tiger needs the squirrel. If the tiger needs the squirrel then the squirrel needs the tiger.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone needs the squirrel then the squirrel likes the tiger.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
If someone likes the squirrel and they see the tiger then the tiger is not rough.
((("someone" "likes" "squirrel" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "is" "rough" "-"))
If someone sees the squirrel and they need the squirrel then they like the squirrel.
((("someone" "sees" "squirrel" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the tiger and they are not blue then the tiger needs the squirrel.
((("someone" "needs" "tiger" "+") ("someone" "is" "blue" "~")) -> ("tiger" "needs" "squirrel" "+"))
If someone likes the tiger then the tiger needs the squirrel.
((("someone" "likes" "tiger" "+")) -> ("tiger" "needs" "squirrel" "+"))
If the tiger needs the squirrel then the squirrel needs the tiger.
((("tiger" "needs" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
The squirrel is rough.
True
1
proof
[(triple4)]
("squirrel" "is" "rough" "+")
triple4
The tiger does not like the squirrel.
False
1
inv-proof
[(triple11 OR ((triple12 ((triple5) -> rule5)) -> rule3))]
("tiger" "likes" "squirrel" "-")
triple11
((triple12 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The tiger needs the squirrel.
True
2
proof
[(((triple5) -> rule5))]
("tiger" "needs" "squirrel" "+")
((triple5) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger does not need the squirrel.
False
2
inv-proof
[(((triple5) -> rule5))]
("tiger" "needs" "squirrel" "-")
((triple5) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The squirrel needs the tiger.
True
3
proof
[(((((triple5) -> rule5)) -> rule6))]
("squirrel" "needs" "tiger" "+")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The squirrel does not need the tiger.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule6))]
("squirrel" "needs" "tiger" "-")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
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 squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger is not big.[(triple7)] The tiger is red.[(triple8)] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] The tiger likes the squirrel.[(triple11 OR ((triple12 ((triple5) -> rule5)) -> rule3))] The tiger sees the squirrel.[(triple12)] @1: The tiger needs the squirrel.[(((triple5) -> rule5))] @2: The squirrel needs the tiger.[(((((triple5) -> rule5)) -> rule6))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple6
The tiger is not big.
("tiger" "is" "big" "-")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple11
((triple12 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((triple5) -> (rule5 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2