Syllogism Finder v1.0