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