The bald eagle chases the cat. The cat needs the bald eagle. The cow chases the bald eagle. The mouse visits the bald eagle. If something needs the cat then it visits the cow. Rough things are nice.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something needs the cat then it visits the cow.
((("something" "needs" "cat" "+")) -> ("something" "visits" "cow" "+"))
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "nice" "-")
The cat needs the cow.
Unknown
random
[@0: The cat needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cow" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat needs the bald eagle.[(triple2)] The cow chases the bald eagle.[(triple3)] The mouse visits the bald eagle.[(triple4)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple4