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