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