The bald eagle is young. The cat needs the rabbit. The dog is young. The rabbit eats the bald eagle. If someone is nice then they eat the rabbit. If someone eats the bald eagle and the bald eagle eats the cat then they are red. If someone chases the rabbit and they need the bald eagle then the rabbit chases the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If someone is nice then they eat the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the bald eagle and the bald eagle eats the cat then they are red.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "cat" "+")) -> ("someone" "is" "red" "+"))
If someone chases the rabbit and they need the bald eagle then the rabbit chases the bald eagle.
((("someone" "chases" "rabbit" "+") ("someone" "needs" "bald eagle" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
The cat needs the rabbit.
True
1
proof
[(triple2)]
("cat" "needs" "rabbit" "+")
triple2
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "bald eagle" "-")
triple4
The cat does not eat the rabbit.
Unknown
inv-rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "rabbit" "-")
The bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle is young.[(triple1)] The cat needs the rabbit.[(triple2)] The dog is young.[(triple3)] The rabbit eats the bald eagle.[(triple4)]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4