The bald eagle eats the cat. The cat chases the bald eagle. If the bald eagle eats the cat then the bald eagle chases the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
If the bald eagle eats the cat then the bald eagle chases the cat.
((("bald eagle" "eats" "cat" "+")) -> ("bald eagle" "chases" "cat" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The bald eagle chases the cat.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not chase the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "chases" "cat" "-")
((triple1) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle eats the cat.[(triple1)] The cat chases the bald eagle.[(triple2)] @1: The bald eagle chases the cat.[(((triple1) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1