The bald eagle eats the cat. The bald eagle does not eat the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The cat eats the bald eagle. The cat is not kind. The cat is rough. The cat visits the cow. The cow is green. The cow likes the lion. The cow visits the bald eagle. The lion is kind. The lion likes the cow. The lion does not visit the cow. If something visits the bald eagle then the bald eagle does not visit the cow.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion does not visit the cow.
("lion" "visits" "cow" "-")
If something visits the bald eagle then the bald eagle does not visit the cow.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "-"))
The bald eagle is green.
True
1
proof
[(triple5)]
("bald eagle" "is" "green" "+")
triple5
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The bald eagle does not visit the cow.
True
2
proof
[(((triple12) -> rule1))]
("bald eagle" "visits" "cow" "-")
((triple12) -> (rule1 % int1))
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
int1
The bald eagle visits the cow.
False
2
inv-proof
[(((triple12) -> rule1))]
("bald eagle" "visits" "cow" "+")
((triple12) -> (rule1 % int1))
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The cat does not eat the lion.
Unknown
inv-random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "-")
The cow visits the lion.
Unknown
random
[@0: The cow visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "lion" "+")
@0: The bald eagle does not eat the cow.[(triple2)] The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is not kind.[(triple7)] The cat is rough.[(triple8)] The cat visits the cow.[(triple9)] The cow is green.[(triple10)] The cow likes the lion.[(triple11)] The cow visits the bald eagle.[(triple12)] The lion does not visit the cow.[(triple15)] The lion is kind.[(triple13)] The lion likes the cow.[(triple14)] @1: The bald eagle does not visit the cow.[(((triple12) -> rule1))]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is not kind.
("cat" "is" "kind" "-")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat visits the cow.
("cat" "visits" "cow" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow likes the lion.
("cow" "likes" "lion" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The lion does not visit the cow.
("lion" "visits" "cow" "-")
triple15
The lion is kind.
("lion" "is" "kind" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
((triple12) -> (rule1 % int1))
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
int1