The bald eagle eats the mouse. The bald eagle is not green. The bald eagle does not visit the cow. The bear eats the cow. The cow is green. The cow likes the bear. The cow likes the mouse. The cow visits the bald eagle. The mouse is kind. The mouse likes the bear. If someone visits the mouse then the mouse visits the bald eagle. If someone likes the bald eagle and the bald eagle likes the mouse then they like the mouse. If someone is cold and they do not visit the bear then they like the mouse. If the cow is not round then the cow does not like the bear. If someone is cold and they visit the bald eagle then they like the bear. If someone eats the cow then they are kind. If someone eats the cow and they like the bear then they are kind. If the bear visits the cow then the cow is cold.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If someone visits the mouse then the mouse visits the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle likes the mouse then they like the mouse.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is cold and they do not visit the bear then they like the mouse.
((("someone" "is" "cold" "+") ("someone" "visits" "bear" "~")) -> ("someone" "likes" "mouse" "+"))
If the cow is not round then the cow does not like the bear.
((("cow" "is" "round" "~")) -> ("cow" "likes" "bear" "-"))
If someone is cold and they visit the bald eagle then they like the bear.
((("someone" "is" "cold" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone eats the cow then they are kind.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the cow and they like the bear then they are kind.
((("someone" "eats" "cow" "+") ("someone" "likes" "bear" "+")) -> ("someone" "is" "kind" "+"))
If the bear visits the cow then the cow is cold.
((("bear" "visits" "cow" "+")) -> ("cow" "is" "cold" "+"))
The cow visits the bald eagle.
True
1
proof
[(triple8)]
("cow" "visits" "bald eagle" "+")
triple8
The mouse is not kind.
False
1
inv-proof
[(triple9)]
("mouse" "is" "kind" "-")
triple9
The mouse does not visit the bald eagle.
Unknown
inv-rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "bald eagle" "-")
The cow likes the bald eagle.
Unknown
random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "+")
@0: The bald eagle does not visit the cow.[(triple3)] The bald eagle eats the mouse.[(triple1)] The bald eagle is not green.[(triple2)] The bear eats the cow.[(triple4)] The cow is green.[(triple5)] The cow likes the bear.[(triple6)] The cow likes the mouse.[(triple7)] The cow visits the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the bear.[(triple10)] @1: The bear is kind.[(((triple4) -> rule6))]
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple7
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The bear is kind.
("bear" "is" "kind" "+")
((triple4) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1