Combined Example

{   ( <input.data>.log:semantics 
      <axioms.n3>.log:semantics
      <system-rules.n3>.log:semantics ) 
                    log:conjunction ?f.
    ?f log:conclusion ?g.
    ?g log:notIncludes 
                { ?request a :ValidRequest }
} => {
    ?request a InvalidRequest
}.

This means: if what you get by taking the input data, the axioms and the system rules together and thinking about it doesn't tell you that the request is valid, then it is invalid.