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