The bear eats the lion. The bear needs the cat. The cat needs the bear. The lion eats the tiger. The lion needs the bear. The lion sees the bear. The tiger needs the bear. If the cat needs the bear then the bear is green.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If the cat needs the bear then the bear is green.
((("cat" "needs" "bear" "+")) -> ("bear" "is" "green" "+"))
The lion eats the tiger.
True
1
proof
[(triple4)]
("lion" "eats" "tiger" "+")
triple4
The lion does not eat the tiger.
False
1
inv-proof
[(triple4)]
("lion" "eats" "tiger" "-")
triple4
The bear is green.
True
2
proof
[(((triple3) -> rule1))]
("bear" "is" "green" "+")
((triple3) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "is" "green" "-")
((triple3) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat does not need the lion.
Unknown
inv-random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "-")
The tiger needs the cat.
Unknown
random
[@0: The tiger needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cat" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear eats the lion.[(triple1)] The bear needs the cat.[(triple2)] The cat needs the bear.[(triple3)] The lion eats the tiger.[(triple4)] The lion needs the bear.[(triple5)] The lion sees the bear.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bear is green.[(((triple3) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple4
The lion needs the bear.
("lion" "needs" "bear" "+")
triple5
The lion sees the bear.
("lion" "sees" "bear" "+")
triple6
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
((triple3) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1