The bald eagle is green. The mouse needs the rabbit. The rabbit is rough. If someone eats the rabbit and they are cold then they need the bald eagle. If the mouse eats the bald eagle then the mouse needs the rabbit.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone eats the rabbit and they are cold then they need the bald eagle.
((("someone" "eats" "rabbit" "+") ("someone" "is" "cold" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the mouse eats the bald eagle then the mouse needs the rabbit.
((("mouse" "eats" "bald eagle" "+")) -> ("mouse" "needs" "rabbit" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The rabbit needs the mouse.
Unknown
random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "+")
@0: The bald eagle is green.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit is rough.[(triple3)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3