The bald eagle is big. The cow likes the rabbit. The lion is green. The rabbit sees the bald eagle. If someone eats the cow then they do not eat the bald eagle. If someone is blue then they see the lion.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone eats the cow then they do not eat the bald eagle.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone is blue then they see the lion.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "lion" "+"))
The cow likes the rabbit.
True
1
proof
[(triple2)]
("cow" "likes" "rabbit" "+")
triple2
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple4)]
("rabbit" "sees" "bald eagle" "-")
triple4
The bald eagle does not see the lion.
Unknown
inv-rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle is big.[(triple1)] The cow likes the rabbit.[(triple2)] The lion is green.[(triple3)] The rabbit sees the bald eagle.[(triple4)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple4