The bald eagle needs the mouse. The mouse needs the rabbit. The rabbit does not visit the bald eagle. If the rabbit likes the mouse then the rabbit needs the mouse. If the bald eagle visits the mouse and the mouse needs the bald eagle then the bald eagle does not like the mouse. If something needs the rabbit and it visits the rabbit then the rabbit visits the mouse. If something is round and it needs the mouse then the mouse is nice. If the mouse is red then the mouse visits the bald eagle. If something visits the mouse and it does not like the bald eagle then the mouse is round. If something needs the rabbit and it likes the mouse then it visits the bald eagle. If something needs the rabbit then the rabbit is green.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If the rabbit likes the mouse then the rabbit needs the mouse.
((("rabbit" "likes" "mouse" "+")) -> ("rabbit" "needs" "mouse" "+"))
If the bald eagle visits the mouse and the mouse needs the bald eagle then the bald eagle does not like the mouse.
((("bald eagle" "visits" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "-"))
If something needs the rabbit and it visits the rabbit then the rabbit visits the mouse.
((("something" "needs" "rabbit" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If something is round and it needs the mouse then the mouse is nice.
((("something" "is" "round" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If the mouse is red then the mouse visits the bald eagle.
((("mouse" "is" "red" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If something visits the mouse and it does not like the bald eagle then the mouse is round.
((("something" "visits" "mouse" "+") ("something" "likes" "bald eagle" "~")) -> ("mouse" "is" "round" "+"))
If something needs the rabbit and it likes the mouse then it visits the bald eagle.
((("something" "needs" "rabbit" "+") ("something" "likes" "mouse" "+")) -> ("something" "visits" "bald eagle" "+"))
If something needs the rabbit then the rabbit is green.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple1)]
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle does not need the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "mouse" "-")
triple1
The rabbit is green.
True
2
proof
[(((triple2) -> rule8))]
("rabbit" "is" "green" "+")
((triple2) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple2) -> rule8))]
("rabbit" "is" "green" "-")
((triple2) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The mouse does not visit the bald eagle.
Unknown
inv-rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "bald eagle" "-")
The rabbit needs the mouse.
Unknown
rconc
[@1: The rabbit needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "mouse" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle needs the mouse.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit does not visit the bald eagle.[(triple3)] @1: The rabbit is green.[(((triple2) -> rule8))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple2
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
((triple2) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1