The bald eagle does not eat the cow. The bald eagle eats the mouse. The cow eats the bald eagle. The cow is nice. The mouse chases the tiger. The mouse eats the tiger. The mouse is round. The mouse needs the tiger. The tiger chases the bald eagle. The tiger is red. If something is round and rough then it does not eat the tiger. If the cow is round and the cow does not chase the mouse then the cow is rough. If the tiger is not green then the tiger does not eat the mouse.
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something is round and rough then it does not eat the tiger.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "tiger" "-"))
If the cow is round and the cow does not chase the mouse then the cow is rough.
((("cow" "is" "round" "+") ("cow" "chases" "mouse" "~")) -> ("cow" "is" "rough" "+"))
If the tiger is not green then the tiger does not eat the mouse.
((("tiger" "is" "green" "~")) -> ("tiger" "eats" "mouse" "-"))
The bald eagle eats the mouse.
True
1
proof
[(triple2)]
("bald eagle" "eats" "mouse" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple4)]
("cow" "is" "nice" "-")
triple4
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "rough" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow is nice.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is round.[(triple7)] The mouse needs the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger is red.[(triple10)]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple5
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10