The bald eagle likes the rabbit. The cat is big. The cow chases the rabbit. The rabbit needs the bald eagle. If someone is cold then they need the cat. If someone chases the cow and the cow likes the cat then they need the bald eagle. If someone likes the rabbit and the rabbit needs the cow then they like the cat.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If someone is cold then they need the cat.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cat" "+"))
If someone chases the cow and the cow likes the cat then they need the bald eagle.
((("someone" "chases" "cow" "+") ("cow" "likes" "cat" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone likes the rabbit and the rabbit needs the cow then they like the cat.
((("someone" "likes" "rabbit" "+") ("rabbit" "needs" "cow" "+")) -> ("someone" "likes" "cat" "+"))
The rabbit needs the bald eagle.
True
1
proof
[(triple4)]
("rabbit" "needs" "bald eagle" "+")
triple4
The cat is not big.
False
1
inv-proof
[(triple2)]
("cat" "is" "big" "-")
triple2
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The cow needs the rabbit.
Unknown
random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The cat is big.[(triple2)] The cow chases the rabbit.[(triple3)] The rabbit needs the bald eagle.[(triple4)]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple4