The bald eagle eats the mouse. The bald eagle is not blue. The bald eagle is not green. The bald eagle is red. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse is green. The mouse is not kind. The mouse does not need the bald eagle. The mouse does not visit the bald eagle. If someone visits the mouse then they need the bald eagle. If someone visits the bald eagle then the bald eagle does not visit the mouse. If someone is red and they visit the bald eagle then the bald eagle eats the mouse. If someone eats the mouse and the mouse does not eat the bald eagle then they need the mouse. If someone visits the bald eagle and the bald eagle visits the mouse then they are kind. If someone is green and they do not eat the mouse then the mouse is green. If someone is red and they visit the bald eagle then the bald eagle is green. If someone needs the bald eagle and the bald eagle does not visit the mouse then the bald eagle is green.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
If someone visits the mouse then they need the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle does not visit the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "-"))
If someone is red and they visit the bald eagle then the bald eagle eats the mouse.
((("someone" "is" "red" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone eats the mouse and the mouse does not eat the bald eagle then they need the mouse.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "bald eagle" "~")) -> ("someone" "needs" "mouse" "+"))
If someone visits the bald eagle and the bald eagle visits the mouse then they are kind.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and they do not eat the mouse then the mouse is green.
((("someone" "is" "green" "+") ("someone" "eats" "mouse" "~")) -> ("mouse" "is" "green" "+"))
If someone is red and they visit the bald eagle then the bald eagle is green.
((("someone" "is" "red" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone needs the bald eagle and the bald eagle does not visit the mouse then the bald eagle is green.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "visits" "mouse" "~")) -> ("bald eagle" "is" "green" "+"))
The bald eagle is not blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The mouse needs the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "needs" "bald eagle" "+")
triple11
The bald eagle needs the bald eagle.
True
2
proof
[(((triple6) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple6) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((triple6) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The mouse does not need the bald eagle.[(triple11)] The mouse does not visit the bald eagle.[(triple12)] The mouse eats the bald eagle.[(triple7)] The mouse is blue.[(triple8)] The mouse is green.[(triple9)] The mouse is not kind.[(triple10)] @1: The bald eagle needs the bald eagle.[(((triple6) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple11
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple12
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse is not kind.
("mouse" "is" "kind" "-")
triple10
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1