The bald eagle does not eat the mouse. The cow likes the bald eagle. The mouse eats the bald eagle. The rabbit visits the mouse. If something eats the bald eagle then it does not like the mouse. If something likes the mouse and the mouse eats the rabbit then it visits the bald eagle. If the cow likes the mouse then the mouse does not visit the cow. If something likes the mouse and it likes the cow then it is big. If something eats the bald eagle and the bald eagle is nice then it is cold. If something likes the rabbit then it eats the cow. If the bald eagle eats the mouse and the mouse eats the rabbit then the bald eagle does not like the rabbit. If the rabbit is not big then the rabbit does not visit the mouse.
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something eats the bald eagle then it does not like the mouse.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "mouse" "-"))
If something likes the mouse and the mouse eats the rabbit then it visits the bald eagle.
((("something" "likes" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("something" "visits" "bald eagle" "+"))
If the cow likes the mouse then the mouse does not visit the cow.
((("cow" "likes" "mouse" "+")) -> ("mouse" "visits" "cow" "-"))
If something likes the mouse and it likes the cow then it is big.
((("something" "likes" "mouse" "+") ("something" "likes" "cow" "+")) -> ("something" "is" "big" "+"))
If something eats the bald eagle and the bald eagle is nice then it is cold.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something likes the rabbit then it eats the cow.
((("something" "likes" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If the bald eagle eats the mouse and the mouse eats the rabbit then the bald eagle does not like the rabbit.
((("bald eagle" "eats" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("bald eagle" "likes" "rabbit" "-"))
If the rabbit is not big then the rabbit does not visit the mouse.
((("rabbit" "is" "big" "~")) -> ("rabbit" "visits" "mouse" "-"))
The mouse eats the bald eagle.
True
1
proof
[(triple3)]
("mouse" "eats" "bald eagle" "+")
triple3
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "mouse" "-")
triple4
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The bald eagle does not eat the mouse.[(triple1)] The cow likes the bald eagle.[(triple2)] The mouse eats the bald eagle.[(triple3)] The rabbit visits the mouse.[(triple4)] @1: The mouse does not like the mouse.[(((triple3) -> rule1))]
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple4
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
((triple3) -> (rule1 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1