The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle sees the rabbit. The mouse is not blue. The mouse is not cold. The rabbit does not eat the mouse. The rabbit needs the mouse. If the mouse eats the rabbit and the rabbit does not see the bald eagle then the rabbit is kind. If something sees the mouse and it sees the bald eagle then it needs the mouse. If the rabbit is red and the rabbit is not kind then the rabbit needs the mouse.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is not cold.
("mouse" "is" "cold" "-")
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If the mouse eats the rabbit and the rabbit does not see the bald eagle then the rabbit is kind.
((("mouse" "eats" "rabbit" "+") ("rabbit" "sees" "bald eagle" "~")) -> ("rabbit" "is" "kind" "+"))
If something sees the mouse and it sees the bald eagle then it needs the mouse.
((("something" "sees" "mouse" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "needs" "mouse" "+"))
If the rabbit is red and the rabbit is not kind then the rabbit needs the mouse.
((("rabbit" "is" "red" "+") ("rabbit" "is" "kind" "~")) -> ("rabbit" "needs" "mouse" "+"))
The mouse is not cold.
True
1
proof
[(triple5)]
("mouse" "is" "cold" "-")
triple5
The rabbit eats the mouse.
False
1
inv-proof
[(triple6)]
("rabbit" "eats" "mouse" "+")
triple6
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The mouse is not blue.[(triple4)] The mouse is not cold.[(triple5)] The rabbit does not eat the mouse.[(triple6)] The rabbit needs the mouse.[(triple7)]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The mouse is not blue.
("mouse" "is" "blue" "-")
triple4
The mouse is not cold.
("mouse" "is" "cold" "-")
triple5
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
triple6
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple7