The lion chases the tiger. The lion sees the squirrel. The squirrel chases the tiger. The squirrel is blue. The squirrel likes the lion. The squirrel sees the lion. The squirrel sees the tiger. The tiger is not blue. The tiger is green. The tiger is not nice. The tiger sees the lion. The tiger does not see the squirrel. If someone chases the tiger then the tiger sees the lion. If someone is green then they like the lion. If someone chases the tiger then they are young. If the lion likes the tiger then the lion chases the squirrel. If the lion is young then the lion does not chase the squirrel. If the lion sees the squirrel and the squirrel does not like the lion then the squirrel does not like the tiger.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
If someone chases the tiger then the tiger sees the lion.
((("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "lion" "+"))
If someone is green then they like the lion.
((("someone" "is" "green" "+")) -> ("someone" "likes" "lion" "+"))
If someone chases the tiger then they are young.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "young" "+"))
If the lion likes the tiger then the lion chases the squirrel.
((("lion" "likes" "tiger" "+")) -> ("lion" "chases" "squirrel" "+"))
If the lion is young then the lion does not chase the squirrel.
((("lion" "is" "young" "+")) -> ("lion" "chases" "squirrel" "-"))
If the lion sees the squirrel and the squirrel does not like the lion then the squirrel does not like the tiger.
((("lion" "sees" "squirrel" "+") ("squirrel" "likes" "lion" "~")) -> ("squirrel" "likes" "tiger" "-"))
The tiger is not nice.
True
1
proof
[(triple10)]
("tiger" "is" "nice" "-")
triple10
The lion does not chase the tiger.
False
1
inv-proof
[(triple1)]
("lion" "chases" "tiger" "-")
triple1
The squirrel is young.
True
2
proof
[(((triple3) -> rule3))]
("squirrel" "is" "young" "+")
((triple3) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple3) -> rule3))]
("squirrel" "is" "young" "-")
((triple3) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The lion does not chase the squirrel.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("lion" "chases" "squirrel" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion chases the squirrel.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("lion" "chases" "squirrel" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "lion" "-")
The tiger is young.
Unknown
rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "young" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The lion likes the tiger.
Unknown
random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "+")
@0: The lion chases the tiger.[(triple1)] The lion sees the squirrel.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel is blue.[(triple4)] The squirrel likes the lion.[(triple5)] The squirrel sees the lion.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger does not see the squirrel.[(triple12)] The tiger is green.[(triple9)] The tiger is not blue.[(triple8)] The tiger is not nice.[(triple10)] The tiger sees the lion.[(triple11 OR ((triple1) -> rule1) OR ((triple3) -> rule1))] @1: The lion is young.[(((triple1) -> rule3))] The squirrel is young.[(((triple3) -> rule3))] The tiger likes the lion.[(((triple9) -> rule2))] @2: The lion does not chase the squirrel.[(((((triple1) -> rule3)) -> rule5))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple5
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple6
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple7
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is not blue.
("tiger" "is" "blue" "-")
triple8
The tiger is not nice.
("tiger" "is" "nice" "-")
triple10
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple11
((triple1) -> (rule1 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
((triple3) -> (rule1 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple1) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple3) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
((triple9) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The lion is young.
("lion" "is" "young" "+")
int2