The bear is not young. The cow needs the bear. The dog needs the cow. The tiger needs the bear. If the bear is not young then the bear eats the tiger.
The bear is not young.
("bear" "is" "young" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If the bear is not young then the bear eats the tiger.
((("bear" "is" "young" "~")) -> ("bear" "eats" "tiger" "+"))
The tiger needs the bear.
True
1
proof
[(triple4)]
("tiger" "needs" "bear" "+")
triple4
The tiger does not need the bear.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "bear" "-")
triple4
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The cow likes the tiger.
Unknown
random
[@0: The cow likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "tiger" "+")
@0: The bear is not young.[(triple1)] The cow needs the bear.[(triple2)] The dog needs the cow.[(triple3)] The tiger needs the bear.[(triple4)] @1: The bear eats the tiger.[(((triple1) -> rule1))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple2
The dog needs the cow.
("dog" "needs" "cow" "+")
triple3
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple4
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple1) -> (rule1 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1