The bald eagle sees the cow. The cow visits the bald eagle. The mouse sees the cow. The squirrel likes the bald eagle. If someone visits the mouse then they visit the bald eagle. If someone visits the squirrel and the squirrel is rough then they visit the bald eagle. If the squirrel likes the mouse and the squirrel is young then the mouse sees the squirrel. If someone sees the squirrel then they are nice. If someone sees the cow and the cow visits the mouse then they like the bald eagle. If someone likes the mouse then they are kind. If someone likes the mouse and they are young then they like the bald eagle. If someone visits the squirrel then the squirrel visits the bald eagle.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If someone visits the mouse then they visit the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the squirrel and the squirrel is rough then they visit the bald eagle.
((("someone" "visits" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the squirrel likes the mouse and the squirrel is young then the mouse sees the squirrel.
((("squirrel" "likes" "mouse" "+") ("squirrel" "is" "young" "+")) -> ("mouse" "sees" "squirrel" "+"))
If someone sees the squirrel then they are nice.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the cow and the cow visits the mouse then they like the bald eagle.
((("someone" "sees" "cow" "+") ("cow" "visits" "mouse" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the mouse then they are kind.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the mouse and they are young then they like the bald eagle.
((("someone" "likes" "mouse" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the squirrel then the squirrel visits the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple1)]
("bald eagle" "sees" "cow" "+")
triple1
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple4)]
("squirrel" "likes" "bald eagle" "-")
triple4
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "nice" "-")
The mouse visits the cow.
Unknown
random
[@0: The mouse visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cow" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow visits the bald eagle.[(triple2)] The mouse sees the cow.[(triple3)] The squirrel likes the bald eagle.[(triple4)]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple3
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple4