SMS: System der deductiven und inductiven Logik