@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test/mona#>.

# assumables from http://artint.info/html/ArtInt_133.html
true => (
	{:Peter :ascribed :smokes}
	{:Peter :ascribed :nonsmoker}
	{:Peter :ascribed :influenza}
#	{:Peter :ascribed :smokes. :Peter :ascribed :nonsmoker}
	{:Peter :ascribed :smokes. :Peter :ascribed :influenza}
	{:Peter :ascribed :nonsmoker. :Peter :ascribed :influenza}
#	{:Peter :ascribed :smokes. :Peter :ascribed :nonsmoker. :Peter :ascribed :influenza}
	)!e:disjunction.

