@keywords is, of, a.

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

@forAll X.

{ <deadbeat3.n3> log:semantics ?F.
  # getting all the conclusions of <deadbeat3.n3>
  ?F log:conclusion ?G.
  # does <deadbeat3.n3> conclude that someone is a deadbeatdad
  ?G log:includes { X a :DeadbeatDad }. 
} => 
  # then that someone is a deadbeatdad
{ X a :DeadbeatDad }. 

{ <deadbeat3.n3> log:semantics ?F.
  # getting all the conclusions of <deadbeat3.n3>
  ?F log:conclusion ?G. 
  # list of Persons in deadbeat3
  ?G log:includes { X a :Person }. 
  # <deadbeat3.n3> not conclude that those Persons are deadbeatdads
  ?G log:notIncludes { X a :DeadbeatDad }. 
} => 
  # then that they are not deadbeatdads
{ X a :NotDeadbeatDad }.