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