The bear chases the cat. The bear is not kind. The bear is red. The bear visits the cat. The bear visits the lion. The cat chases the bear. The cat is not blue. The cat needs the bear. The cat does not visit the lion. The lion chases the bear. The lion chases the cat. The lion is blue. The lion is not kind. The lion is nice. The lion needs the cat. If something needs the lion then it is red. If something chases the cat then it visits the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is red.
("bear" "is" "red" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat does not visit the lion.
("cat" "visits" "lion" "-")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something needs the lion then it is red.
((("something" "needs" "lion" "+")) -> ("something" "is" "red" "+"))
If something chases the cat then it visits the cat.
((("something" "chases" "cat" "+")) -> ("something" "visits" "cat" "+"))
The cat needs the bear.
True
1
proof
[(triple8)]
("cat" "needs" "bear" "+")
triple8
The cat does not need the bear.
False
1
inv-proof
[(triple8)]
("cat" "needs" "bear" "-")
triple8
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bear chases the cat.[(triple1)] The bear is not kind.[(triple2)] The bear is red.[(triple3)] The bear visits the cat.[(triple4 OR ((triple1) -> rule2))] The bear visits the lion.[(triple5)] The cat chases the bear.[(triple6)] The cat does not visit the lion.[(triple9)] The cat is not blue.[(triple7)] The cat needs the bear.[(triple8)] The lion chases the bear.[(triple10)] The lion chases the cat.[(triple11)] The lion is blue.[(triple12)] The lion is nice.[(triple14)] The lion is not kind.[(triple13)] The lion needs the cat.[(triple15)] @1: The lion visits the cat.[(((triple11) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
((triple1) -> (rule2 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat does not visit the lion.
("cat" "visits" "lion" "-")
triple9
The cat is not blue.
("cat" "is" "blue" "-")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple10
The lion chases the cat.
("lion" "chases" "cat" "+")
triple11
The lion is blue.
("lion" "is" "blue" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple14
The lion is not kind.
("lion" "is" "kind" "-")
triple13
The lion needs the cat.
("lion" "needs" "cat" "+")
triple15
The lion visits the cat.
("lion" "visits" "cat" "+")
((triple11) -> (rule2 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1