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