take S -rules ; :: thesis: S -rules is 2 -ranked
thus S -rules is 2 -ranked ; :: thesis: verum