The bear is nice. The bear likes the lion. The bear needs the tiger. The lion is not round. The lion does not visit the bear. The lion visits the tiger. The tiger likes the bear. The tiger likes the lion. The tiger needs the bear. The tiger visits the bear. If something needs the tiger then the tiger needs the bear. If something likes the lion then the lion does not need the tiger. If something needs the bear and it is young then it visits the lion. If something visits the bear then the bear is red. If something likes the tiger then the tiger is not young. If something likes the tiger and it is not round then the tiger does not need the lion.
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion does not visit the bear.
("lion" "visits" "bear" "-")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something needs the tiger then the tiger needs the bear.
((("something" "needs" "tiger" "+")) -> ("tiger" "needs" "bear" "+"))
If something likes the lion then the lion does not need the tiger.
((("something" "likes" "lion" "+")) -> ("lion" "needs" "tiger" "-"))
If something needs the bear and it is young then it visits the lion.
((("something" "needs" "bear" "+") ("something" "is" "young" "+")) -> ("something" "visits" "lion" "+"))
If something visits the bear then the bear is red.
((("something" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
If something likes the tiger then the tiger is not young.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "young" "-"))
If something likes the tiger and it is not round then the tiger does not need the lion.
((("something" "likes" "tiger" "+") ("something" "is" "round" "~")) -> ("tiger" "needs" "lion" "-"))
The tiger likes the bear.
True
1
proof
[(triple7)]
("tiger" "likes" "bear" "+")
triple7
The tiger does not need the bear.
False
1
inv-proof
[(triple9 OR ((triple3) -> rule1))]
("tiger" "needs" "bear" "-")
triple9
((triple3) -> (rule1 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The lion does not need the tiger.
True
2
proof
[(((triple2) -> rule2) OR ((triple8) -> rule2))]
("lion" "needs" "tiger" "-")
((triple2) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
((triple8) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
The lion needs the tiger.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple8) -> rule2))]
("lion" "needs" "tiger" "+")
((triple2) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
((triple8) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
The tiger does not visit the lion.
Unknown
inv-rconc
[@1: The tiger visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "visits" "lion" "-")
The bear visits the lion.
Unknown
rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "lion" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The bear likes the tiger.
Unknown
random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "+")
@0: The bear is nice.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the tiger.[(triple3)] The lion does not visit the bear.[(triple5)] The lion is not round.[(triple4)] The lion visits the tiger.[(triple6)] The tiger likes the bear.[(triple7)] The tiger likes the lion.[(triple8)] The tiger needs the bear.[(triple9 OR ((triple3) -> rule1))] The tiger visits the bear.[(triple10)] @1: The bear is red.[(((triple10) -> rule4))] The lion does not need the tiger.[(((triple2) -> rule2) OR ((triple8) -> rule2))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The lion does not visit the bear.
("lion" "visits" "bear" "-")
triple5
The lion is not round.
("lion" "is" "round" "-")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple8
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple9
((triple3) -> (rule1 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The bear is red.
("bear" "is" "red" "+")
((triple10) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
((triple2) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
((triple8) -> (rule2 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1