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