The bald eagle does not eat the mouse. The bald eagle is red. The bald eagle sees the cow. The bald eagle sees the mouse. The cat eats the cow. The cat is not red. The cat does not need the cow. The cow eats the mouse. The cow is red. The cow sees the mouse. The mouse eats the cow. The mouse is green. If something eats the mouse and the mouse sees the cat then it sees the bald eagle.
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is green.
("mouse" "is" "green" "+")
If something eats the mouse and the mouse sees the cat then it sees the bald eagle.
((("something" "eats" "mouse" "+") ("mouse" "sees" "cat" "+")) -> ("something" "sees" "bald eagle" "+"))
The cow eats the mouse.
True
1
proof
[(triple8)]
("cow" "eats" "mouse" "+")
triple8
The cat does not eat the cow.
False
1
inv-proof
[(triple5)]
("cat" "eats" "cow" "-")
triple5
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cat does not need the cow.[(triple7)] The cat eats the cow.[(triple5)] The cat is not red.[(triple6)] The cow eats the mouse.[(triple8)] The cow is red.[(triple9)] The cow sees the mouse.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is green.[(triple12)]
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is not red.
("cat" "is" "red" "-")
triple6
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple8
The cow is red.
("cow" "is" "red" "+")
triple9
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple10
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12