Wpis z mikrobloga

@aloszkaniechbedzie: wystarczy prosty przykład
reguła: każdy ojciec jest starszy od swojego syna; każdy ojciec jest czyimś synem
stan początkowy: jestem 22-letnim mężczyzną
teza: ojciec ojca mojego ojca jest starszy ode mnie
dowód:
1mój ojciec jest starszy ode mnie
2mój ojciec jest czyimś synem
3ojciec mojego ojca jest starszy od mojego ojca
4ojciec mojego ojca jest czyimś synem
5itd.