Implemented: Ferio and Cesare Syllogisms

This may break CheckContradictions