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