The bear chases the cow. The cow needs the dog. The dog is cold. The rabbit visits the dog. If something visits the cow then it visits the dog. If the bear visits the rabbit and the rabbit visits the dog then the dog chases the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something visits the cow then it visits the dog.
((("something" "visits" "cow" "+")) -> ("something" "visits" "dog" "+"))
If the bear visits the rabbit and the rabbit visits the dog then the dog chases the bear.
((("bear" "visits" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("dog" "chases" "bear" "+"))
The cow needs the dog.
True
1
proof
[(triple2)]
("cow" "needs" "dog" "+")
triple2
The cow does not need the dog.
False
1
inv-proof
[(triple2)]
("cow" "needs" "dog" "-")
triple2
The bear does not visit the dog.
Unknown
inv-rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "dog" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear chases the cow.[(triple1)] The cow needs the dog.[(triple2)] The dog is cold.[(triple3)] The rabbit visits the dog.[(triple4)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple4