The bear chases the lion. The bear eats the lion. The bear is big. The bear is blue. The bear is red. The bear visits the lion. The lion chases the bear. The lion eats the bear. The lion is not young. The lion visits the bear. If something is young and it does not chase the bear then it is blue. If something visits the bear then the bear chases the lion. If something chases the lion and the lion does not chase the bear then the bear chases the lion. If something visits the lion then it chases the lion. If something is big then it eats the bear. If something chases the lion and the lion does not eat the bear then it eats the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is not young.
("lion" "is" "young" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something is young and it does not chase the bear then it is blue.
((("something" "is" "young" "+") ("something" "chases" "bear" "~")) -> ("something" "is" "blue" "+"))
If something visits the bear then the bear chases the lion.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If something chases the lion and the lion does not chase the bear then the bear chases the lion.
((("something" "chases" "lion" "+") ("lion" "chases" "bear" "~")) -> ("bear" "chases" "lion" "+"))
If something visits the lion then it chases the lion.
((("something" "visits" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something is big then it eats the bear.
((("something" "is" "big" "+")) -> ("something" "eats" "bear" "+"))
If something chases the lion and the lion does not eat the bear then it eats the lion.
((("something" "chases" "lion" "+") ("lion" "eats" "bear" "~")) -> ("something" "eats" "lion" "+"))
The bear visits the lion.
True
1
proof
[(triple6)]
("bear" "visits" "lion" "+")
triple6
The lion does not eat the bear.
False
1
inv-proof
[(triple8)]
("lion" "eats" "bear" "-")
triple8
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bear chases the lion.[(triple1 OR ((triple10) -> rule2) OR ((triple6) -> rule4))] The bear eats the lion.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The bear visits the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion eats the bear.[(triple8)] The lion is not young.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear eats the bear.[(((triple3) -> rule5))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
((triple10) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
((triple6) -> (rule4 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple8
The lion is not young.
("lion" "is" "young" "-")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple3) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1