Of the three scripts provided in the 0.3.0.1 release, only VehicleCapacity.ss works; the other two (SwishExample.ss and SwishTest.ss) fail to validate the proof - e.g.
% ./Swish -s=SwishExample.ss Swish 0.3.0.1
Charles is male and has parent Tom
@Dmitry Bobrov rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# . @Dmitry Bobrov rdfs: http://www.w3.org/2000/01/rdf-schema# . @Dmitry Bobrov rdfd: http://id.ninebynine.org/2003/rdfext/rdfd# . @Dmitry Bobrov owl: http://www.w3.org/2002/07/owl# . @Dmitry Bobrov log: http://www.w3.org/2000/10/swap/log# . @Dmitry Bobrov : http://id.ninebynine.org/default/ . @Dmitry Bobrov ex: http://id.ninebynine.org/wip/2003/swishtest/ . @Dmitry Bobrov pv: http://id.ninebynine.org/wip/2003/swishtest/pv/ . @Dmitry Bobrov xsd: http://www.w3.org/2001/XMLSchema# . @Dmitry Bobrov xsd_integer: http://id.ninebynine.org/2003/XMLSchema/integer# . @Dmitry Bobrov rs_rdf: http://id.ninebynine.org/2003/Ruleset/rdf# . @Dmitry Bobrov rs_rdfs: http://id.ninebynine.org/2003/Ruleset/rdfs# . :Charles ex:parent :Tom ; a ex:Male .
Proof not satisfied: ex:Proof01, Invalid step: ex:Step01c: rule does not deduce consequence from antecedents There was a problem executing a Swish script.
Swish: There was a problem executing a Swish script. }}}
(SwishTest.ss will fail unless the directory data/ exists since it writes files to that directory).