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