The bald eagle is nice. The bear chases the cow. The cow chases the rabbit. The rabbit visits the bear. If the rabbit chases the bald eagle then the rabbit is nice.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the rabbit chases the bald eagle then the rabbit is nice.
((("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "is" "nice" "+"))
The cow chases the rabbit.
True
1
proof
[(triple3)]
("cow" "chases" "rabbit" "+")
triple3
The cow does not chase the rabbit.
False
1
inv-proof
[(triple3)]
("cow" "chases" "rabbit" "-")
triple3
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
@0: The bald eagle is nice.[(triple1)] The bear chases the cow.[(triple2)] The cow chases the rabbit.[(triple3)] The rabbit visits the bear.[(triple4)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear chases the cow.
("bear" "chases" "cow" "+")
triple2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple4