The bear likes the lion. The lion is red. The tiger does not like the lion. Red people are young. If someone likes the bear and they are not nice then they need the lion. If someone sees the bear then the bear likes the lion. If someone likes the tiger then they are round. If the lion sees the bear then the bear needs the lion. If someone sees the tiger and they are not round then the tiger does not like the lion. If someone needs the bear and the bear does not need the lion then the lion needs the tiger. If someone sees the tiger and they do not need the tiger then they like the lion.
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone likes the bear and they are not nice then they need the lion.
((("someone" "likes" "bear" "+") ("someone" "is" "nice" "~")) -> ("someone" "needs" "lion" "+"))
If someone sees the bear then the bear likes the lion.
((("someone" "sees" "bear" "+")) -> ("bear" "likes" "lion" "+"))
If someone likes the tiger then they are round.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "round" "+"))
If the lion sees the bear then the bear needs the lion.
((("lion" "sees" "bear" "+")) -> ("bear" "needs" "lion" "+"))
If someone sees the tiger and they are not round then the tiger does not like the lion.
((("someone" "sees" "tiger" "+") ("someone" "is" "round" "~")) -> ("tiger" "likes" "lion" "-"))
If someone needs the bear and the bear does not need the lion then the lion needs the tiger.
((("someone" "needs" "bear" "+") ("bear" "needs" "lion" "~")) -> ("lion" "needs" "tiger" "+"))
If someone sees the tiger and they do not need the tiger then they like the lion.
((("someone" "sees" "tiger" "+") ("someone" "needs" "tiger" "~")) -> ("someone" "likes" "lion" "+"))
The lion is red.
True
1
proof
[(triple2)]
("lion" "is" "red" "+")
triple2
The tiger likes the lion.
False
1
inv-proof
[(triple3)]
("tiger" "likes" "lion" "+")
triple3
The lion does not need the tiger.
Unknown
inv-rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "needs" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bear likes the lion.[(triple1)] The lion is red.[(triple2)] The tiger does not like the lion.[(triple3)] @1: The lion is young.[(((triple2) -> rule1))]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple3
The lion is young.
("lion" "is" "young" "+")
((triple2) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1