@prefix : <vogel#>
@prefix log: <http://www.w3.org/2000/10/swap/log#>

{{:vogel a :roofvogel.:vogel :vlucht "fladderend"}
log:implies {:vogel a :torenvalk}} a log:Truth; log:forAll :vogel, :roofvogel.
   
{{:vogel a "torenvalk"} log:implies {:vogel :kleur "bruin"}}a log:Truth;
 log:forAll :vogel.
:gevonden_vogel a :roofvogel.
:gevonden_vogel :vlucht "fladderend".