The bald eagle visits the cow. The bald eagle visits the mouse. The cow does not like the lion. The lion visits the mouse. The mouse is rough. The mouse likes the cow. The mouse visits the bald eagle. If the bald eagle does not visit the lion then the lion visits the bald eagle.
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow does not like the lion.
("cow" "likes" "lion" "-")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If the bald eagle does not visit the lion then the lion visits the bald eagle.
((("bald eagle" "visits" "lion" "~")) -> ("lion" "visits" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple7)]
("mouse" "visits" "bald eagle" "+")
triple7
The mouse does not like the cow.
False
1
inv-proof
[(triple6)]
("mouse" "likes" "cow" "-")
triple6
The lion does not visit the bald eagle.
Unknown
inv-rconc
[@1: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bald eagle" "-")
The lion visits the cow.
Unknown
random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cow" "+")
@0: The bald eagle visits the cow.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow does not like the lion.[(triple3)] The lion visits the mouse.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the cow.[(triple6)] The mouse visits the bald eagle.[(triple7)]
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The cow does not like the lion.
("cow" "likes" "lion" "-")
triple3
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7