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