The bald eagle is nice. The cow does not chase the bald eagle. The cow is nice. The cow does not like the mouse. The mouse chases the bald eagle. The mouse is nice. The mouse likes the bald eagle. If someone likes the bald eagle then they do not eat the cow. If someone chases the mouse and the mouse chases the cow then the mouse does not eat the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If someone likes the bald eagle then they do not eat the cow.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "cow" "-"))
If someone chases the mouse and the mouse chases the cow then the mouse does not eat the bald eagle.
((("someone" "chases" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("mouse" "eats" "bald eagle" "-"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The cow likes the mouse.
False
1
inv-proof
[(triple4)]
("cow" "likes" "mouse" "+")
triple4
The mouse does not eat the cow.
True
2
proof
[(((triple7) -> rule1))]
("mouse" "eats" "cow" "-")
((triple7) -> (rule1 % int1))
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
int1
The mouse eats the cow.
False
2
inv-proof
[(((triple7) -> rule1))]
("mouse" "eats" "cow" "+")
((triple7) -> (rule1 % int1))
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
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 bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The cow does not chase the bald eagle.[(triple2)] The cow does not like the mouse.[(triple4)] The cow is nice.[(triple3)] The mouse chases the bald eagle.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the bald eagle.[(triple7)] @1: The mouse does not eat the cow.[(((triple7) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
triple2
The cow does not like the mouse.
("cow" "likes" "mouse" "-")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
((triple7) -> (rule1 % int1))
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
int1