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