The lion is blue. The lion is red. The lion likes the tiger. The lion needs the tiger. The lion does not see the tiger. The tiger is cold. The tiger does not like the lion. If someone needs the lion then they are young. If someone needs the tiger and they are not red then they need the lion. If someone needs the tiger and they like the tiger then the tiger is green. If someone sees the tiger then they do not need the tiger. If someone likes the lion then they like the tiger. If someone needs the lion and they like the tiger then the lion sees the tiger. If the lion needs the tiger then the tiger needs the lion. If someone is cold and they need the lion then they see the tiger.
The lion is blue.
("lion" "is" "blue" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
If someone needs the lion then they are young.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "young" "+"))
If someone needs the tiger and they are not red then they need the lion.
((("someone" "needs" "tiger" "+") ("someone" "is" "red" "~")) -> ("someone" "needs" "lion" "+"))
If someone needs the tiger and they like the tiger then the tiger is green.
((("someone" "needs" "tiger" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If someone sees the tiger then they do not need the tiger.
((("someone" "sees" "tiger" "+")) -> ("someone" "needs" "tiger" "-"))
If someone likes the lion then they like the tiger.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the lion and they like the tiger then the lion sees the tiger.
((("someone" "needs" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "sees" "tiger" "+"))
If the lion needs the tiger then the tiger needs the lion.
((("lion" "needs" "tiger" "+")) -> ("tiger" "needs" "lion" "+"))
If someone is cold and they need the lion then they see the tiger.
((("someone" "is" "cold" "+") ("someone" "needs" "lion" "+")) -> ("someone" "sees" "tiger" "+"))
The lion likes the tiger.
True
1
proof
[(triple3)]
("lion" "likes" "tiger" "+")
triple3
The lion does not like the tiger.
False
1
inv-proof
[(triple3)]
("lion" "likes" "tiger" "-")
triple3
The tiger is green.
True
3
proof
[(((triple4 triple3) -> rule3))]
("tiger" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger does not need the lion.
False
2
inv-proof
[(((triple4) -> rule7))]
("tiger" "needs" "lion" "-")
((triple4) -> (rule7 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger is young.
True
3
proof
[(((((triple4) -> rule7)) -> rule1))]
("tiger" "is" "young" "+")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The tiger is not young.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule1))]
("tiger" "is" "young" "-")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The lion is not young.
Unknown
inv-rconc
[@2: The lion is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("lion" "is" "young" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "lion" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The tiger does not see the lion.
Unknown
inv-random
[@0: The tiger sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "lion" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The lion does not see the tiger.[(triple5)] The lion is blue.[(triple1)] The lion is red.[(triple2)] The lion likes the tiger.[(triple3)] The lion needs the tiger.[(triple4)] The tiger does not like the lion.[(triple7)] The tiger is cold.[(triple6)] @1: The tiger is green.[(((triple4 triple3) -> rule3))] The tiger needs the lion.[(((triple4) -> rule7))] @2: The tiger is young.[(((((triple4) -> rule7)) -> rule1))] The tiger sees the tiger.[(((triple6 ((triple4) -> rule7)) -> rule8))] @3: The tiger does not need the tiger.[(((((triple6 ((triple4) -> rule7)) -> rule8)) -> rule4))]
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple4
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((triple4) -> (rule7 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple6 ((triple4) -> (rule7 % int2))) -> (rule8 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
((((triple6 ((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3