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