The bear eats the lion. The bear is red. The bear does not like the lion. The bear needs the lion. The lion does not eat the bear. The lion likes the bear. The lion needs the bear. If someone eats the lion then they are green.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone eats the lion then they are green.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "green" "+"))
The lion needs the bear.
True
1
proof
[(triple7)]
("lion" "needs" "bear" "+")
triple7
The lion does not like the bear.
False
1
inv-proof
[(triple6)]
("lion" "likes" "bear" "-")
triple6
The bear is green.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "green" "-")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bear does not like the lion.[(triple3)] The bear eats the lion.[(triple1)] The bear is red.[(triple2)] The bear needs the lion.[(triple4)] The lion does not eat the bear.[(triple5)] The lion likes the bear.[(triple6)] The lion needs the bear.[(triple7)] @1: The bear is green.[(((triple1) -> rule1))]
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple3
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple4
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1