# Generated with Euler Sun Jan 28 17:09:51 CET 2001
# PROOF <#y> rules:coined <#x>.

@prefix rules: <http://amdush/n3/coinedBy.n3#>.
@prefix foaf: <http://xmlns.com/0.1/foaf/#>.
@prefix : <http://amdush/n3/coinedBy.n3#>.
@prefix daml: <http://www.daml.org/2000/10/daml-ont#>.
@prefix log: <http://www.w3.org/2000/10/swap/log.n3#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix dc: <http://purl.org/dc/elements/1.1/#>.
@prefix sbp: <http://infomesh.net/2001/01/n3terms/#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {:homepage rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :homepage.}.

 {:name rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :name.}.

 {:coinedBy rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :coinedBy.}.

 {:authorOf rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :authorOf.}.

 {:properName rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :properName.}.

 {:wrote rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :wrote.}.

 {:writtenBy rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :writtenBy.}.

 {:semBrowser rules:coinedBy :Seth.} log:implies
{:Seth rules:coined :semBrowser.}.

 {:notes rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :notes.}.

 {:gender rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :gender.}.

 {:country rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :country.}.

 {:description rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :description.}.

 {:hasInterest rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :hasInterest.}.

 {:hasPublication rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :hasPublication.}.

 {:TVShow rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :TVShow.}.

 {:coined rules:coinedBy :Sean.} log:implies
{:Sean rules:coined :coined.}.

# DONE 33 steps