The bear is round. The lion chases the bear. The lion is not blue. The tiger does not chase the bear. The tiger chases the lion. The tiger is not rough. The tiger is not round. The tiger is young. The tiger needs the lion. The tiger does not visit the bear. If the lion chases the bear and the bear chases the tiger then the bear needs the tiger. If something visits the tiger and the tiger does not visit the lion then the tiger is blue. If something visits the lion and the lion is rough then it chases the bear. If something visits the bear then it is round. If something needs the bear then it needs the tiger. If the bear is blue and the tiger does not chase the bear then the bear is young.
The bear is round.
("bear" "is" "round" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If the lion chases the bear and the bear chases the tiger then the bear needs the tiger.
((("lion" "chases" "bear" "+") ("bear" "chases" "tiger" "+")) -> ("bear" "needs" "tiger" "+"))
If something visits the tiger and the tiger does not visit the lion then the tiger is blue.
((("something" "visits" "tiger" "+") ("tiger" "visits" "lion" "~")) -> ("tiger" "is" "blue" "+"))
If something visits the lion and the lion is rough then it chases the bear.
((("something" "visits" "lion" "+") ("lion" "is" "rough" "+")) -> ("something" "chases" "bear" "+"))
If something visits the bear then it is round.
((("something" "visits" "bear" "+")) -> ("something" "is" "round" "+"))
If something needs the bear then it needs the tiger.
((("something" "needs" "bear" "+")) -> ("something" "needs" "tiger" "+"))
If the bear is blue and the tiger does not chase the bear then the bear is young.
((("bear" "is" "blue" "+") ("tiger" "chases" "bear" "~")) -> ("bear" "is" "young" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The tiger visits the bear.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "bear" "+")
triple10
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear is round.[(triple1)] The lion chases the bear.[(triple2)] The lion is not blue.[(triple3)] The tiger chases the lion.[(triple5)] The tiger does not chase the bear.[(triple4)] The tiger does not visit the bear.[(triple10)] The tiger is not rough.[(triple6)] The tiger is not round.[(triple7)] The tiger is young.[(triple8)] The tiger needs the lion.[(triple9)]
The bear is round.
("bear" "is" "round" "+")
triple1
The lion chases the bear.
("lion" "chases" "bear" "+")
triple2
The lion is not blue.
("lion" "is" "blue" "-")
triple3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple5
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple4
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple10
The tiger is not rough.
("tiger" "is" "rough" "-")
triple6
The tiger is not round.
("tiger" "is" "round" "-")
triple7
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple9