Learning Syllogism with Euler Neural-Networks