The bear does not like the lion. The lion is nice. The tiger needs the lion. If something needs the lion then the lion does not need the tiger.
The bear does not like the lion.
("bear" "likes" "lion" "-")
The lion is nice.
("lion" "is" "nice" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something needs the lion then the lion does not need the tiger.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "tiger" "-"))
The tiger needs the lion.
True
1
proof
[(triple3)]
("tiger" "needs" "lion" "+")
triple3
The bear likes the lion.
False
1
inv-proof
[(triple1)]
("bear" "likes" "lion" "+")
triple1
The lion does not need the tiger.
True
2
proof
[(((triple3) -> rule1))]
("lion" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
The lion needs the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The tiger does not like the lion.
Unknown
inv-random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "-")
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 does not like the lion.[(triple1)] The lion is nice.[(triple2)] The tiger needs the lion.[(triple3)] @1: The lion does not need the tiger.[(((triple3) -> rule1))]
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple3
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
int1