The bald eagle eats the rabbit. The cat needs the rabbit. The rabbit sees the cat. If something sees the rabbit then the rabbit is red.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something sees the rabbit then the rabbit is red.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The rabbit does not see the cat.
False
1
inv-proof
[(triple3)]
("rabbit" "sees" "cat" "-")
triple3
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "red" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The cat needs the rabbit.[(triple2)] The rabbit sees the cat.[(triple3)]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple3