syllogism (rubygems): Proof checker for arguments in Aristotle's term logic
Keywords: aristotle|logic|syllogism